( en | de | ru )

 

Disambiguation of "Horrocks, Ian"

Author of the publication

copydeleteadd this publication to your clipboard
Practical Reasoning for Very Expressive Description Logics.

, , and . Logic Journal of the IGPL, 8 (3): 239-263 (2000)

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.

Max Iann

Enrico Iannone

Gheorghe Iancu

Nadia Ianeva

Alen Ianni

 

Other publications of authors with the same name

A Conjunctive Query Language for Description Logic Aboxes., and . AAAI/IAAI, page 399-404. AAAI Press / The MIT Press, (2000)Complexity and Expressive Power of Disjunction and Negation in Limit Datalog., , , and . AAAI, page 2862-2869. AAAI Press, (2020)Modular Materialisation of Datalog Programs., , and . AAAI, page 2859-2866. AAAI Press, (2019)Making the most of your triple store: query answering in OWL 2 using an RL reasoner., , , , and . WWW, page 1569-1580. International World Wide Web Conferences Steering Committee / ACM, (2013)Tool Support for Ontology Engineering.. Foundations for the Web of Information and Services, page 103-112. Springer, (2011)OWL: A Description Logic Based Ontology Language.. CP, volume 3709 of Lecture Notes in Computer Science, page 5-8. Springer, (2005)An Efficient Index for RDF Query Containment., , , , , and . SIGMOD Conference, page 1499-1516. ACM, (2019)Computational modal logic., , , and . Handbook of Modal Logic, volume 3 of Studies in logic and practical reasoning, North-Holland, (2007)OWL 2 Web Ontology Language: Conformance and Test Cases, , and . World Wide Web Consortium, Working Draft WD-owl2-test-20081202, (December 2008)Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences, , , and . 6th Annual European Semantic Web Conference (ESWC2009), page 173-187. (June 2009)