( en | de | ru )

 

Disambiguation of "Horrocks, Ian"

Author of the publication

copydeleteadd this publication to your clipboard
Subsumption Prediction for E-Commerce Taxonomies.

, , , , , , , and . ESWC, volume 13870 of Lecture Notes in Computer Science, page 244-261. Springer, (2023)

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

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog., , , and . AAAI, page 2862-2869. AAAI Press, (2020)A Conjunctive Query Language for Description Logic Aboxes., and . AAAI/IAAI, page 399-404. AAAI Press / The MIT Press, (2000)Modular Materialisation of Datalog Programs., , and . AAAI, page 2859-2866. AAAI Press, (2019)Logic for Ontology Engineering Corner.. J. Log. Comput., 17 (4): 615 (2007)The OBO to OWL Mapping, GO to OWL 1.1!, and . OWLED, volume 258 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Answering Queries over OWL Ontologies with SPARQL., , and . OWLED, volume 796 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)Towards a Logic-based Assessment of the compatibility of UMLS sources., , , and . SWAT4LS, volume 559 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)On event-driven knowledge graph completion in digital factories., , , , , , and . IEEE BigData, page 1676-1681. IEEE Computer Society, (2017)The Instance Store: DL Reasoning with Large Numbers of Individuals., , , and . Description Logics, volume 104 of CEUR Workshop Proceedings, CEUR-WS.org, (2004)DL Reasoner vs. First-Order Prover., and . Description Logics, volume 81 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)