Author of the publication

Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs.

, , , , , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 128-140. CEUR-WS.org, (2014)

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

Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules., and . IJCAI, page 1777-1783. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..VLog: A Rule Engine for Knowledge Graphs., , , , , and . ISWC (2), volume 11779 of Lecture Notes in Computer Science, page 19-35. Springer, (2019)Modeling OWL with Rules: The ROWL Protege Plugin., , , and . ISWC (Posters & Demos), volume 1690 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)Rewriting ALCHIQ to Disjunctive Existential Rules (Extended Abstract)., and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs., , , , , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 128-140. CEUR-WS.org, (2014)SROIQ Syntax Approximation by Using Nominal Schemas., , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 988-999. CEUR-WS.org, (2013)Chasing Sets: How to Use Existential Rules for Expressive Reasoning., , , and . IJCAI, page 1624-1631. ijcai.org, (2019)EL-ifying Ontologies., , , , and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 464-479. Springer, (2014)Reasoner = Logical Calculus + Rule Engine., , and . Künstliche Intell., 34 (4): 453-463 (2020)From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment., , and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)