Searching for authors named "Ian Horrocks" – sorted by Relevance.
171 documents found, showing 1 through 10.
Next 10 →
-
Reasoning with Expressive DLs – p.1/39 Talk Outline
- …Reasoning with Expressive Description Logics: Theory and Practice Ian Horrocks horrocks…
- Add To MetaCart
-
Talk Outline Introduction to Description Logics
- … and Practice Ian Horrocks horrocks@(email omitted); University of Manchester Manchester, UK CADE-18: Logical…
- Add To MetaCart
-
Reasoning with Expressive DLs – p. 1/47 Talk Outline The Semantic Web and DAML+OIL Description Logics and Reasoning Reasoning techniques Implementing DL systems Research Challenges Summary Reasoning with Expressive DLs – p. 2/47 The Semantic Web and DAML+
- …DAML+OIL and Description Logic Reasoning Ian Horrocks horrocks@(email omitted); University…
- Add To MetaCart
-
Semantic Web Ontology Languages
- …Description Logic: Axioms and Rules Ian Horrocks horrocks@(email omitted); University of Manchester…
- Add To MetaCart
-
Comparing subsumption optimizations
- …Comparing Subsumption Optimizations Ian Horrocks University of Manchester, Manchester, UK Abstract…
- Cited by 19 (11 self) – Add To MetaCart
-
GRAIL Semantics
- …Grail Semantics Ian Horrocks Medical Informatics Group Department of Computer Science University…
- Cited by 1 (0 self) – Add To MetaCart
-
Reasoning with Expressive Description Logics: Theory and Practice
- …Reasoning with Expressive Description Logics: Theory and Practice Ian Horrocks Department…
- Cited by 15 (1 self) – Add To MetaCart
-
Applications of Description Logics: State of the Art and Research Challenges
- …Applications of Description Logics: State of the Art and Research Challenges Ian Horrocks School…
- Cited by 12 (0 self) – Add To MetaCart
-
Owl: A description logic based ontology language
- …OWL: a Description Logic Based Ontology Language Extended Abstract Ian Horrocks School of Computer…
- Cited by 4 (0 self) – Add To MetaCart
-
Description Logics in Ontology Applications
- …Description Logics in Ontology Applications Ian Horrocks School of Computer Science, University…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
