BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Denmark
1 × Estonia
1 × France
1 × Germany
1 × Spain
1 × United Kingdom
2 × Australia
2 × Italy
3 × USA
Collaborated with:
B.Motik U.Sattler S.Tobies B.Glimm B.C.Grau D.Tsarkov D.Magka Y.Kazakov R.Shearer O.Kutz S.Bechhofer D.Turi S.Tessaris G.Gough D.Carral C.Feier P.Hitzler M.Krötzsch C.Kupke Z.Wang
Talks about:
descript (13) logic (10) reason (7) use (3) individu (2) practic (2) ontolog (2) express (2) theori (2) system (2)

Person: Ian Horrocks

DBLP DBLP: Horrocks:Ian

Contributed to:

IJCAR 20142014
KR 20122012
IJCAR 20102010
IJCAR 20082008
KR 20082008
CADE 20072007
IJCAR 20062006
KR 20062006
CADE 20052005
ICLP 20052005
CADE 20022002
KR 20022002
CADE 20002000
KR 20002000
KR 19981998

Wrote 18 papers:

IJCAR-2014-MartinezFGHH #ontology
EL-ifying Ontologies (DC, CF, BCG, PH, IH), pp. 464–479.
KR-2012-GrauHKKMMW #logic #query
Acyclicity Conditions and their Application to Query Answering in Description Logics (BCG, IH, MK, CK, DM, BM, ZW).
IJCAR-2010-GlimmHM #logic #reasoning
Optimized Description Logic Reasoning via Core Blocking (BG, IH, BM), pp. 457–471.
IJCAR-2010-MagkaKH #data type #logic
Tractable Extensions of the Description Logic EL with Numerical Datatypes (DM, YK, IH), pp. 61–75.
IJCAR-2008-MotikH #logic #reasoning #reuse
Individual Reuse in Description Logic Reasoning (BM, IH), pp. 242–258.
KR-2008-GlimmHS #query
Unions of Conjunctive Queries in SHOQ (BG, IH, US), pp. 252–262.
KR-2008-MotikGHS #graph #representation #using
Representing Structured Objects using Description Graphs (BM, BCG, IH, US), pp. 296–306.
CADE-2007-MotikSH #logic #reasoning #using
Optimized Reasoning in Description Logics Using Hypertableaux (BM, RS, IH), pp. 67–83.
IJCAR-2006-TsarkovH #logic
FaCT++ Description Logic Reasoner: System Description (DT, IH), pp. 292–297.
The Even More Irresistible SROIQ (IH, OK, US), pp. 57–67.
CADE-2005-BechhoferHT #owl
The OWL Instance Store: System Description (SB, IH, DT), pp. 177–181.
ICLP-2005-Horrocks #logic #named #ontology #owl
OWL: A Description Logic Based Ontology Language (IH), pp. 1–4.
CADE-2002-Horrocks #logic #reasoning #theory and practice
Reasoning with Expressive Description Logics: Theory and Practice (IH), pp. 1–15.
KR-2002-TessarisHG #algorithm #composition
Evaluating a Modular Abox Algorithm (ST, IH, GG), pp. 227–238.
CADE-2000-HorrocksST #logic #reasoning
Reasoning with Individuals for the Description Logic SHIQ (IH, US, ST), pp. 482–496.
KR-2000-HorrocksT #axiom #reasoning #theory and practice
Reasoning with Axioms: Theory and Practice (IH, ST), pp. 285–296.
KR-1998-Horrocks #logic #question #using
Using an Expressive Description Logic: FaCT or Fiction? (IH), pp. 636–649.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.