( en | de | ru )

 

Disambiguation of "Horrocks, Ian"

Author of the publication

copydeleteadd this publication to your clipboard
Ontology Module Extraction via Datalog Reasoning.

, , , and . Description Logics, volume 1577 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)

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

Enrico Iannone

Nadia Ianeva

Alen Ianni

 

Other publications of authors with the same name

Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences, , , and . 6th Annual European Semantic Web Conference (ESWC2009), page 173-187. (June 2009)OWL 2 Web Ontology Language: Conformance and Test Cases, , and . World Wide Web Consortium, Working Draft WD-owl2-test-20081202, (December 2008)BootOX: Practical Mapping of RDBs to OWL 2, , , , , , , and . Proceedings of International Semantic Web Conference (ISWC), (2015)Semantics ⊓ scalability ⊨ ⊥?. J. Zhejiang Univ. Sci. C, 13 (4): 241-244 (2012)SWRL: A Semantic Web Rule Language Combining OWL and RuleML, , , , , and . W3C Member Submission, World Wide Web Consortium, (2004)DAML+OIL (March 2001) Reference Description, , , , , and . http://www.w3.org/TR/daml+oil-reference, (December 2001)Ontology Reasoning in the $SHOQ$($D$) Description Logic, and . Proc.\ of the 17th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2001), page 199--204. Morgan Kaufmann, (2001)\\ http://www.cs.man.ac.uk/~horrocks/Publications/ \\ download/2001/ijcai01.pdf.Towards Analytics Aware Ontology Based Access to Static and Streaming Data, , , , , , , , , and 3 other author(s). The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part II, volume 9982 of Lecture Notes in Computer Science, page 344--362. (2016)Implementation and Optimization Techniques.. Description Logic Handbook, Cambridge University Press, (2003)Limit Datalog: A Declarative Query Language for Data Analysis., , , , and . SIGMOD Rec., 48 (4): 6-17 (2019)