Author of the publication

The Even More Irresistible $SROIQ$

, , and . Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning, page 57--67. Menlo Park, California, USA, AAAI Press, (June 2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards Analytics Aware Ontology Based Access to Static and Streaming Data, , , , , , , , , and 3 other author(s). The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part II, volume 9982 of Lecture Notes in Computer Science, page 344--362. (2016)Implementation and Optimization Techniques.. Description Logic Handbook, Cambridge University Press, (2003)BootOX: Practical Mapping of RDBs to OWL 2, , , , , , , and . Proceedings of International Semantic Web Conference (ISWC), (2015)Towards a Logic-based Assessment of the compatibility of UMLS sources., , , and . SWAT4LS, volume 559 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)On event-driven knowledge graph completion in digital factories., , , , , , and . IEEE BigData, page 1676-1681. IEEE Computer Society, (2017)Cardinality-Minimal Explanations for Monotonic Neural Networks., , and . IJCAI, page 3677-3685. ijcai.org, (2023)DL Reasoner vs. First-Order Prover., and . Description Logics, volume 81 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)Modular Combination of Reasoners for Ontology Classification., , and . Description Logics, volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)Performance of DLP on Random Modal Formulae., and . Description Logics, volume 22 of CEUR Workshop Proceedings, CEUR-WS.org, (1999)The Instance Store: DL Reasoning with Large Numbers of Individuals., , , and . Description Logics, volume 104 of CEUR Workshop Proceedings, CEUR-WS.org, (2004)