Author of the publication

The Incredible ELK - From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies.

, , and . J. Autom. Reason., 53 (1): 1-61 (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

Semantic MediaWiki, , and . The Semantic Web - ISWC 2006, volume 4273 of Lecture Notes in Computer Science, page 935--942. Heidelberg, DE, Springer, (2006)Social Semantic Web, , , , , , , , , and 38 other author(s). Springer, Berlin, (2009)Foundations of Semantic Web Technologies, , and . Chapman & Hall/CRC, London, (2009)Morphisms in Logic, Topology, and Formal Concept Analysis. (February 2005)Die neuen Tools: Web 2.0, Semantic Wiki, Social Tagging & Co., , , and . Slides available online, (March 2006)The incredible elk, , and . Journal of Automated Reasoning, (2013)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..Temporally Attributed Description Logics., , and . Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 441-474. Springer, (2019)Chasing Sets: How to Use Existential Rules for Expressive Reasoning., , , and . IJCAI, page 1624-1631. ijcai.org, (2019)P ≠ P - Why Some Reasoning Problems Are More Tractable Than Others.. RR, volume 8741 of Lecture Notes in Computer Science, page 1-22. Springer, (2014)