Ian R. Horrocks  Home/Search
Context Related
| mighp0.cs.man.ac.uk/pub/th...kr98.ps.gz cs.man.ac.uk/~horrocks/Pub...kr98.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) Homepages: I.Horrocks |
Rate this article:      (best)Comment on this article |
Abstract: Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description language is formally defined, so that the subsumption relationship between two concept descriptions can be computed by a suitable algorithm. Description Logics have proved useful in a range of applications but their wider acceptance has been hindered by their limited expressiveness and the intractability of their subsumption ... (Update)
Cited by: More
Wearable Computing for Aircraft Maintenance: - Simplifying The User (Correct)
Towards a Fuzzy Description Logic for the Semantic Web - Straccia (2005) (Correct)
A Model-Based Mediator System for Scientific Data Management - Ludäscher, Gupta, Martone (2003) (Correct)
Similar documents (at the sentence level):
21.5%: Optimising Tableaux Decision Procedures For Description Logics - Degree (1997) (Correct)
Active bibliography (related documents): More All
1.5: Optimisation Techniques for Expressive Description Logics - Horrocks (1997) (Correct)
0.9: Comparison Of Two Terminological Knowledge Representation Systems - Horrocks (1995) (Correct)
0.6: Optimising Description Logic Subsumption - Horrocks, Patel-Schneider (1998) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.8: Decidability of SHIQ with Complex Role Inclusion Axioms - Horrocks (2003) (Correct)
0.7: Obstacles on the Way to Qualitative Spatial Reasoning with.. - Wessel (2001) (Correct)
0.2: Using a Description Logic with Concept Inclusions - Horrocks, Rector (1996) (Correct)
Related documents from co-citation: More All
28: Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999
23: Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
23: A correspondence theory for terminological logics: Preliminary report - Schild - 1991
BibTeX entry: (Update)
I. Horrocks. Using an Expressive Description Logic: FaCT or Fiction? In Proceedings of the Sixth International Conference on the Principles of Knowledge Representation and Reasoning (KR-98), 1998. http://citeseer.ist.psu.edu/horrocks98using.html More
@incollection{ horrocks98using,
author = "Ian R. Horrocks",
title = "Using an Expressive Description Logic: {FaCT} or Fiction?",
booktitle = "{KR}'98: Principles of Knowledge Representation and Reasoning",
publisher = "Morgan Kaufmann",
address = "San Francisco, California",
editor = "Anthony G. Cohn and Lenhart Schubert and Stuart C. Shapiro",
pages = "636--645",
year = "1998",
url = "citeseer.ist.psu.edu/horrocks98using.html" }
Citations (may not include all citations):390 A machine program for theorem proving (context) - Davis, Logemann et al. - 1962
207 Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
193 Reasoning and Revision in Hybrid Representation Systems (context) - Nebel - 1990
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991
152 Decidable reasoning in terminological knowledge representati.. - Buchheit, Donini et al. - 1993
111 The evolving technology of classification-based knowledge re.. (context) - MacGregor - 1991
88 Two theses of knowledge representation: Language restriction.. - Doyle, Patil - 1991
86 A terminological knowledge representation system with comple.. - Baader, Hollunder - 1991
85 Augmenting concept languages by transitive closure of roles:.. - Baader - 1990
73 The GRAIL concept modelling language for medical terminology (context) - Rector, Bechhofer et al. - 1997
66 Partwhole relations in object-centered systems: an overview - Artale, Guarino et al. - 1996
57 Optimising Tableaux Decision Procedures for Description Logi.. (context) - Horrocks - 1997
51 A SAT-based decision procedure for ALC - Giunchiglia, Sebastiani - 1996
51 TBox and ABox reasoning in expressive description logics - De Giacomo, Lenzerini - 1996
49 HARP: A tableau-based theorem prover (context) - Oppacher, Suen - 1988
44 Terminological knowledge representation: A proposal for a te.. - Baader, Heinsohn et al. - 1991
43 Implementing and testing expressive description logics: a pr.. - Bresciani, Franconi et al. - 1995
42 An empirical analysis of terminological representation syste.. - Heinsohn, Kudenko et al. - 1994
42 A benchmark method for the propositional modal logics k (context) - Heuerding, Schwendimann - 1996
41 Enabling agents to work together (context) - Guha, Lenat - 1994
38 Goals for concept representation in the GALEN project - Rector, Nowlan et al. - 1993
31 A concept language extended with different kinds of transiti.. - Sattler - 1996
27 A framework for part-- of hierarchies in terminological logi.. - Padgham, Lambrix - 1994
19 Describing and classifying multimedia using the description .. - Goble, Haul et al. - 1996
15 A concept language for engineering applications with part--w.. (context) - Sattler - 1995
13 A description logic based schema for the classification of m.. - Horrocks, Rector et al. - 1996
12 Scalable and expressive medical terminologies (context) - Mays, Weida et al. - 1996
11 reusable medical ontology using a description logic with tra.. (context) - Rector, Horrocks et al. - 1997
10 Deutsches Forschungszentrum fur Kunstliche Intelligenz GmbH (context) - Hollunder, Nutt et al. - 1990
9 Computers and Mathematics with Applications -- Special Issue.. (context) - Woods, Schmolze et al. - 1992
6 Description logics are not just for the flightless-birds: A .. - Borgida - 1992
6 Runtime and memory usage performance of description logics (context) - Speel, van Raalte et al. - 1995
5 Structured methods of information management for medical rec.. (context) - Nowlan - 1993
4 Use and Stor- age for Efficiency: Proceedings of the First I.. (context) - Ellis, Levinson et al. - 1995
4 Using description logics to model and reason about views - Levy, Rousset - 1996
3 Deutsches Forschungszentrum fur Kunstliche Intelligenz GmbH (context) - Donini, Lenzerini et al. - 1995
3 Description logics to specify the part--whole relation (context) - Hors - 1994
2 Principals of Knowledge Representation and Reasoning: Procee.. (context) - Aiello, Doyle et al. - 1996
2 Reasoning about structured objects: knowledge representation.. (context) - Baader, Buchheit et al. - 1996
2 CLASSIC and PROSE stories: Enabling technologies for knowled.. (context) - Berman, IV et al. - 1994
1 Applying DL in automatic dialoge interpreting (context) - Kussner - 1997
1 Intelligent Backtracking on Constraint Satisfaction Problems.. (context) - Baker - 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