( en | de | ru )

 

Disambiguation of "Horrocks, Ian"

Author of the publication

copydeleteadd this publication to your clipboard
Semantic Diagnostics of Smart Factories.

, , , , , , , and . JIST, volume 11341 of Lecture Notes in Computer Science, page 277-294. Springer, (2018)

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

Gheorghe Iancu

Nadia Ianeva

Enrico Iannone

Alen Ianni

 

Other publications of authors with the same name

BootOX: Practical Mapping of RDBs to OWL 2, , , , , , , and . Proceedings of International Semantic Web Conference (ISWC), (2015)Foundations of ontology-based data access under bag semantics., , , , , and . Artif. Intell., (2019)Supporting concurrent ontology development: Framework, algorithms and tool., , , and . Data Knowl. Eng., 70 (1): 146-164 (2011)OWL-Eu: Adding customised datatypes into OWL., and . J. Web Semant., 4 (1): 29-39 (2006)OWL-QL - a language for deductive query answering on the Semantic Web., , and . J. Web Semant., 2 (1): 19-29 (2004)DL Reasoner vs. First-Order Prover., and . Description Logics, volume 81 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)Modular Combination of Reasoners for Ontology Classification., , and . Description Logics, volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)Performance of DLP on Random Modal Formulae., and . Description Logics, volume 22 of CEUR Workshop Proceedings, CEUR-WS.org, (1999)The Instance Store: DL Reasoning with Large Numbers of Individuals., , , and . Description Logics, volume 104 of CEUR Workshop Proceedings, CEUR-WS.org, (2004)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)