Author of the publication

Optimized Reasoning in Description Logics Using Hypertableaux.

, , and . CADE, volume 4603 of Lecture Notes in Computer Science, page 67-83. Springer, (2007)

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

Ontology Reasoning in the $SHOQ$($D$) Description Logic, and . Proc.\ of the 17th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2001), page 199--204. Morgan Kaufmann, (2001)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/2001/ijcai01.pdf.OWL Web Ontology Language Abstract Syntax and Semantics, , and . (2004)W3C Rec. 10~February 2004.From $SHIQ$ and RDF to OWL: The Making of a Web Ontology Language, , and . Journal of Web Semantics, 1 (1): 7--26 (2003)Ontology Languages and Engineering.. KSEM, volume 6291 of Lecture Notes in Computer Science, page 2. Springer, (2010)Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics., and . LPAR, volume 2514 of Lecture Notes in Computer Science, page 435-449. Springer, (2002)OWL-Eu: Adding Customised Datatypes into OWL., and . ESWC, volume 3532 of Lecture Notes in Computer Science, page 153-166. Springer, (2005)RDFS(FA) and RDF MT: Two Semantics for RDFS., and . International Semantic Web Conference, volume 2870 of Lecture Notes in Computer Science, page 30-46. Springer, (2003)Web Ontology Reasoning with Datatype Groups., and . International Semantic Web Conference, volume 2870 of Lecture Notes in Computer Science, page 47-63. Springer, (2003)OWL: A Description Logic Based Ontology Language.. ICLP, volume 3668 of Lecture Notes in Computer Science, page 1-4. Springer, (2005)An Efficient Index for RDF Query Containment., , , , , and . SIGMOD Conference, page 1499-1516. ACM, (2019)