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: Horrocks:Ian
Contributed to:
2014
2012201020082008
2007200620062005
200520022002200020001998Wrote 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.
- KR-2006-HorrocksKS
- 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.