( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reasoning with a Network of Aligned Ontologies.

, и . RR, том 5341 из Lecture Notes in Computer Science, стр. 43-57. Springer, (2008)

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.

Duc Le Van

Le Duc Phuc

Le duy Duc

Minh-Duc Le

Le Duc Cu

 

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

Combining Revision Production Rules and Description Logics., и . KES, том 2773 из Lecture Notes in Computer Science, стр. 89-98. Springer, (2003)A Decision Procedure for SHOIQ with Transitive Closure of Roles., , и . ISWC (1), том 8218 из Lecture Notes in Computer Science, стр. 264-279. Springer, (2013)OntoRev : un moteur de révision d'ontologies OWL(OntoRev: A revision engine for OWL ontologies)., , и . CNIA+RJCIA, том 2133 из CEUR Workshop Proceedings, стр. 118-122. CEUR-WS.org, (2018)SHOIQ with Transitive Closure of Roles Is Decidable., , и . Description Logics, том 1014 из CEUR Workshop Proceedings, стр. 735-746. CEUR-WS.org, (2013)Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract)., , и . Description Logics, том 3263 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms., и . Description Logics, том 573 из CEUR Workshop Proceedings, CEUR-WS.org, (2010)Tableau-Based Revision over SHIQ TBoxes., , , и . LPAR, том 9450 из Lecture Notes in Computer Science, стр. 575-590. Springer, (2015)Tableau-based revision in SHIQ., , , и . Description Logics, том 1350 из CEUR Workshop Proceedings, CEUR-WS.org, (2015)Category-theoretical Semantics of the Description Logic ALC.. Description Logics, том 2954 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Decidability of $SHI$ with transitive closure of roles. 6th Annual European Semantic Web Conference (ESWC2009), стр. 368-383. (июня 2009)