( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reasoning in Expressive Description Logics.

, , , и . Handbook of Automated Reasoning, Elsevier and MIT Press, (2001)

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.

Alexander Diego

Jesús Diego Linares

Diego Tonolla

Diego Arenhoevel

Diego Feijóo

 

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

Expressive Description Logics., и . Description Logic Handbook, Cambridge University Press, (2003)First-Order Ontology Mediated Database Querying via Query Reformulation., и . A Comprehensive Guide Through the Italian Database Research, том 31 из Studies in Big Data, Springer International Publishing, (2018)Model Completeness, Covers and Superposition., , , , и . CADE, том 11716 из Lecture Notes in Computer Science, стр. 142-160. Springer, (2019)Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis., , , и . IJCAI, стр. 4247-4253. AAAI Press, (2015)Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees., , и . IJCAI, стр. 84-89. Morgan Kaufmann, (1999)Enriching Ontology-based Data Access with Provenance., , , , и . IJCAI, стр. 1616-1623. ijcai.org, (2019)Data Scaling in OBDA Benchmarks: The VIG Approach., , и . CoRR, (2016)Automatic Composition of E-services That Export Their Behavior., , , , и . ICSOC, том 2910 из Lecture Notes in Computer Science, стр. 43-58. Springer, (2003)Decidable Containment of Recursive Queries., , и . ICDT, том 2572 из Lecture Notes in Computer Science, стр. 327-342. Springer, (2003)Query Answering over Description Logic Ontologies.. JELIA, том 8761 из Lecture Notes in Computer Science, стр. 1-17. Springer, (2014)