( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Hypertableau Calculus for SHIQ.

, , и . Description Logics, том 250 из CEUR Workshop Proceedings, CEUR-WS.org, (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.

Max Iann

Nadia Ianeva

Enrico Iannone

Gheorghe Iancu

Alen Ianni

 

Другие публикации лиц с тем же именем

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