Ian R. Horrocks  Home/Search
Context Related
| mighp0.cs.man.ac.uk/pub/...thesis.ps.gz cs.man.ac.uk/~horrocks/P...thesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.man.ac.uk/mig/p...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ..................................................................................................................................... 7 DECLARATION ............................................................................................................................. 8 ACKNOWLEDGEMENTS............................................................................................................. 9 THE... (Update)
Context of citations to this paper: More
.... of real applications have shown that the kinds of construct that lead to worst case intractability rarely occur in practice [35, 25, 46, 28], and it has proved possible to build practical description logic systems based on expressive description logics [5, 10, 29]...
.... this high expressiveness is a loss in reasoning support: Soundness and completeness of the subsumption algorithms cannot be guaranteed [Horrocks, 1995] . The OIL approach is a first attempt to overcome the problems that arise from the representation reasoning trade off by...
Cited by: More
Optimizing Description Logic Subsumption - Horrocks, Patel-Schneider (1999) (Correct)
Optimising Description Logic Subsumption - Horrocks, Patel-Schneider (1999) (Correct)
Statement of Interest: Towards Ontology Language Customization - Stuckenschmidt (Correct)
Active bibliography (related documents): More All
0.9: Optimisation Techniques for Expressive Description Logics - Horrocks (1997) (Correct)
0.9: Using an Expressive Description Logic: FaCT or Fiction? - Horrocks (1998) (Correct)
0.6: Towards a Generalized Payment Model for Internet Services - Fischer (Correct)
Similar documents based on text: More All
0.2: Interactive Visualisation Techniques for Ontology Development - Ng (2000) (Correct)
0.0: DLP and FaCT - Patel-Schneider, Horrocks (1999) (Correct)
0.0: A Description Logic with Transitive and Inverse Roles and Role.. - Horrocks (1998) (Correct)
Related documents from co-citation: More All
5: A terminological knowledge representation system with complete inference algorit.. - Baader, Hollunder - 1991
5: Terminological knowledge representation: a proposal for a terminological logic - Baader, Burckert et al. - 1992
5: Augmenting concept languages by transitive closure of roles: An alternative to t.. - Baader - 1991
BibTeX entry: (Update)
I. Horrocks. A comparison of two terminological knowledge representation systems. Master's thesis, University of Manchester, 1995. http://citeseer.ist.psu.edu/horrocks95comparison.html More
@mastersthesis{ horrocks95comparison,
author = "I. R. Horrocks",
title = "A Comparison of Two Terminological Knowledge Representation Systems",
address = "UK",
year = "1995",
url = "citeseer.ist.psu.edu/horrocks95comparison.html" }
Citations (may not include all citations):480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985
388 Conceptual structures: Information processing in mind and ma.. (context) - Sowa - 1984
189 Living with CLASSIC: When and how to use a KL-ONE-like langu.. - Brachman, McGuinness et al. - 1991
146 Building Large Knowledge-Based Systems (context) - Lenat, Guha - 1989
116 A semantics and complete algorithm for subsumption in the CL.. - Borgida, Patel-Schneider - 1994
112 Terminological reasoning is inherently intractable - Nebel - 1990
111 The evolving technology of classification-based knowledge re.. (context) - MacGregor - 1991
89 KRIS: Knowledge Representation and Inference System (context) - Baader, Hollunder - 1991
88 Two theses of knowledge representation: Language restriction.. - Doyle, Patil - 1991
72 Computational complexity of terminological reasoning in BACK - Nebel - 1988
72 A fundamental trade-off in knowledge representation and reas.. (context) - Levesque, Brachman - 1985
71 KRYPTON: A functional approach to knowledge representation (context) - Brachman, Fikes et al. - 1983
69 Subsumption in KL-ONE is undecidable (context) - Schmidt-Schauss - 1989
68 Understanding subsumption and taxonomy: a framework for prog.. (context) - Woods - 1991
63 Inside the LOOM description classifier (context) - MacGregor - 1991
46 A description classifier for the predicate calculus (context) - MacGregor - 1994
45 Undecidability of subsumption in nikl (context) - Patel-Schneider - 1989
44 Terminological knowledge representation: A proposal for a te.. - Baader, Burckert et al. - 1991
42 An empirical analysis of terminological representation syste.. - Heinsohn, Kudenko et al. - 1994
40 The CLASSIC knowledge representation system: Guiding princip.. (context) - Patel-Schneider - 1991
39 Small can be beautiful in knowledge representation (context) - Patel-Schneider - 1984
38 Goals for concept representation in the GALEN project - Rector, Nowlan et al. - 1993
32 The BACK system -- an overview (context) - Peltason - 1991
27 A framework for part-of hierarchies in terminological logics - Padgham, Lambrix - 1994
26 A terminology server for medical language and medical inform.. - Rector, Solomon et al. - 1994
21 rep system overview (context) - Mays, Dionne et al. - 1991
18 First experiences with the SB-ONE knowledge representation w.. (context) - Kobsa - 1991
18 The GALEN CORE model schemata for anatomy: towards a re-usab.. (context) - Rector, Gangemi et al. - 1994
15 Conceptual knowledge: the core of medical information system.. (context) - Rector, Nowlan et al. - 1992
14 Recognition algorithms for the LOOM classifier - MacGregor, Brill - 1992
13 Information Sciences Institute (context) - MacGregor - 1995
12 Description logic specification from the KRSS effort (context) - Patel-Schneider, Swartout et al. - 1993
9 ACM Transactions on Programming Languages and Systems (context) - Ait-Kaci, Boyer et al. - 1989
9 Computers and Mathematics with Applications -- Special Issue.. (context) - Woods, Schmolze et al. - 1992
7 Medical knowledge representation and predictive data entry (context) - Nowlan, Rector - 1991
6 Description logics are not just for the flightless-birds: A .. - Borgida - 1992
5 Department of Computer Science (context) - Hoppe, Kindermann et al. - 1993
5 Structured methods of information management for medical rec.. (context) - Nowlan - 1993
5 LOOM reference manual version (context) - Brill - 1993
4 A whole-part extension for description logics (context) - Speel, Patel-Schneider - 1994
3 Description logics to specify the part-whole relation (context) - Hors - 1994
3 Information Sciences Institute (context) - Southern - 1993
3 of CycL, the Cyc representation language (context) - Lenat, Guha - 1991
3 Information Sciences Institute (context) - Southern - 1994
2 Object modelling using classification in CANDIDE and its app.. (context) - Navathe, Savasere et al. - 1994
1 Available from: University of Manchester (context) - Bechhofer, classifier et al. - 1995
1 Available from: Project Co-ordinator (context) - implementation, teams et al. - 1994
1 Available from: Project Co-ordinator (context) - Bechhofer, Solomon et al. - 1994
1 Medical Informatics Group (context) - Rector, why et al.
1 PAEPR: Parallel Architecture for Electronic Patient Records (context) - Goble, Gurd et al. - 1994
1 The GRAIL kernel: GALEN Representation And Integration Langu.. (context) - Rector, Nowlan et al. - 1993
1 Evaluation of Grail on multimedia database modelling (context) - Haul - 1994
1 Information Sciences Institute (context) - Russ - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.man.ac.uk/mig/people/horrocks/publications.html): More
Optimising Propositional Modal Satisfiability for.. - Horrocks.. (1998) (Correct)
A Description Logic with Transitive and Inverse Roles and.. - Horrocks, Sattler (1998) (Correct)
Description Logics with Transitive Roles - Horrocks, Gough (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC