Ian Horrocks  @ NUS Home/Search
Context Related
| mighp0.cs.man.ac.uk...UMCS9721.ps.gz cs.man.ac.uk/~horro...UMCS9721.ps.gz Cached: PS.gz PS PDF Image Update Help From: cs.man.ac.uk/mig/p...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This report describes and evaluates optimisation techniques for a tableaux based satisfiability testing algorithm used to compute subsumption in Grail, an expressive description logic. Five techniques are studied in detail: normalisation and encoding, indexing, semantic branching, dependency directed backtracking and caching. The effectiveness of these techniques is evaluated by empirical testing using a large knowledge base from the Galen project. The performance of the optimised classifier... (Update)
Context of citations to this paper: More
.... while having a satisfiability testing algorithm which is much simpler than that for ALC , and thus more amenable to optimisation [Hor97a] 2 The ALCH R Description Logic The relationship between roles and their transitive orbits in ALC Phi is equivalent to introducing...
...the medical terminology. It is also possible to use Grail in different applications domains like multimedia and other. In [10] and [11] the author gives a detailed description of the Grail Language and its classifier. In [10] the tranlation process of a medical Domain...
Cited by: More
Simplification and Backjumping in Modal Tableau - Hustadt, Schmidt (1998) (Correct)
Using Lazy Unfolding for the Computation of Least Common.. - Turhan, Molitor (Correct)
Terminologies and Terminology Servers for.. - Bechhofer, Goble.. (1997) (Correct)
Similar documents (at the sentence level):
5.9%: Optimising Tableaux Decision Procedures For Description Logics - Degree (1997) (Correct)
Active bibliography (related documents): More All
1.5: Using an Expressive Description Logic: FaCT or Fiction? - Horrocks (1998) (Correct)
0.9: Comparison Of Two Terminological Knowledge Representation Systems - Horrocks (1995) (Correct)
0.8: Experience building a Large, Re-usable Medical Ontology.. - Rector, Horrocks (1997) (Correct)
Similar documents based on text: More All
0.9: Intra-Modular Structuring in Model-Oriented Specification.. - Bicarregui (1995) (Correct)
0.3: Comparing Subsumption Optimizations - Horrocks, Patel-Schneider (1998) (Correct)
0.3: Optimizing Description Logic Subsumption - Horrocks, Patel-Schneider (1999) (Correct)
Related documents from co-citation: More All
4: On Evaluating Decision Procedures for Modal Logic - Hustadt, Schmidt - 1997
3: A terminological knowledge representation system with complete inference algorit.. - Baader, Hollunder - 1991
2: Tableaux: A general theorem prover for modal logics (context) - Catach - 1991
BibTeX entry: (Update)
Ian Horrocks. Optimisation techniques for expressive description logics. Technical Report UMCS-97-2-1, University of Manchester, Department of Computer Science, 1997. http://citeseer.comp.nus.edu.sg/67198.html More
@misc{ horrocks97optimisation,
author = "I. Horrocks",
title = "Optimisation techniques for expressive description logics",
text = "Ian Horrocks. Optimisation techniques for expressive description logics.
Technical Report UMCS-97-2-1, University of Manchester, Department of Computer
Science, 1997.",
year = "1997",
url = "citeseer.comp.nus.edu.sg/67198.html" }
Citations (may not include all citations):207 Attributive concept descriptions with complements (context) - Schmidt-SchauBetaand, Smolka - 1991
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991
152 Decidable reasoning in terminological knowledge representati.. - Buchheit, Donini et al. - 1993
93 Journal of Artificial Intelligence Research (context) - Ginsberg - 1993
89 KRIS: Knowledge representation and inference system (context) - Baader, Hollunder - 1991
89 Terminological cycles: Semantics and computational propertie.. - Nebel
86 A terminological knowledge representation system with comple.. - Baader, Hollunder - 1991
85 Augmenting concept languages by transitive closure of roles:.. - Baader - 1991
80 Improvements to propositional satisfiability search algorith.. - Freeman - 1995
68 Understanding subsumption and taxonomy: a framework for prog.. (context) - Woods
63 Inside the Loom description classifier (context) - MacGregor - 1991
51 A SAT-based decision procedure for ALC - Giunchiglia, Sebastiani
51 Tbox and abox reasoning in expressive description logics - De Giacomo, Lenzerini
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
40 The Classic knowledge representation system: Guiding princip.. (context) - Patel-Schneider - 1991
36 Cardinality restrictions on concepts - Baader, Buchheit et al. - 1996
31 A concept language extended with different kinds of transiti.. - Sattler - 1996
31 Phase transitions and the search problem (context) - Hogg, Huberman et al. - 1996
27 Terminological cycles in kl-one-based knowledge representati.. (context) - Baader - 1990
22 Terminological cycles and the propositional ¯-calculus (context) - Schild - 1993
21 rep system overview (context) - Mays, Dionne et al. - 1991
19 Describing and classifying multimedia using the description .. - Goble, Haul et al. - 1996
17 Hard random 3-SAT problems and the Davis-Putnam procedure (context) - Freeman - 1996
15 A concept language for engineering applications with part--w.. (context) - Sattler - 1995
12 Querying databases from description logics - Bresciani - 1995
11 re-usable medical ontology using a description logic with tr.. (context) - Rector, Horrocks et al. - 1997
10 Deutsches Forschungszentrum fur Kunstliche Intelligenz GmbH (context) - Hollunder, Nutt et al. - 1990
10 Description logics with symbolic number restrictions - Baader, Sattler - 1996
9 The Galen Consortium. Galen: Terminology services for clinic.. (context) - Rector, Zanstra et al. - 1995
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
7 A comparison of two terminological knowledge representation .. - Horrocks - 1995
6 Modelling for natural language understanding (context) - Baud, Lovis et al. - 1993
5 Structured methods of information management for medical rec.. (context) - Nowlan - 1993
4 Generating noun phrases from a medical knowledge representat.. (context) - Wagner, Rassinoux et al. - 1994
4 Using description logics to model and reason about views - Levy, Rousset - 1996
3 PAD data entry system: From prototype to practical system (context) - Kirby, Rector - 1996
3 The frontier of tractability for concept description languag.. (context) - Donini, Hollunder et al. - 1989
3 of cycl, the cyc representation language (context) - Lenat, Guha - 1991
2 Principals of Knowledge Representation and Reasoning: Procee.. (context) - Aiello, Doyle et al. - 1996
1 The Galen concept modelling language for medical terminology (context) - Rector, Bechhofer et al. - 1996
1 Principals of Semantic Networks: Explorations in the represe.. (context) - Sowa - 1991
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 at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.