From post

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.

 

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

Description of the RACER System and its Applications., и . Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001, том 49 из CEUR Workshop Proceedings, (2001)Ontological Approach for the Semantic Recovery of Traceability Links between Software Artifacts, , , и . IET Software, 2 (3): 185--203 (июня 2008)Special issue on Language Engineering.Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions., , и . Description Logics, том 49 из CEUR Workshop Proceedings, CEUR-WS.org, (2001)Racer: A Core Inference Engine for the Semantic Web, и . Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON2003), стр. 27--36. Sanibel Island, Florida, USA, (октября 2003)\\ http://www.cs.concordia.ca/~haarslev/publications/ \\ ISWC-2003.pdf.Abductive Conjunctive Query Answering w.r.t. Ontologies, , , , и . KI - Künstliche Intelligenz, 30 (2): 177--182 (2016)A Hybrid Tableau Algorithm for Ascr Lscr Cscr Qscr ., , , и . ECAI, том 178 из Frontiers in Artificial Intelligence and Applications, стр. 725-726. IOS Press, (2008)Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners., , и . CoRR, (2019)A parallel computing architecture for high-performance OWL reasoning., и . Parallel Comput., (2019)Semantic web infrastructure for fungal enzyme biotechnologists, , , , и . Web Semantics: Science, Services and Agents on the World Wide Web, 4 (3): 168-180 (сентября 2006)Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics, , и . IJCAR '01: Proceedings of the First International Joint Conference on Automated Reasoning, стр. 61--75. London, UK, Springer-Verlag, (2001)