Ian Horrocks, Peter F. Patel-Schneider  @ NUS Home/Search
Context Related
| cs.man.ac.uk/~horrocks/Pub...090267.pdf Cached: PS.gz PS PDF Image Update Help From: cs.man.ac.uk/~horr...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Effective optimization techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. With currently-available desktop computers, systems that incorporate these techniques can effectively reason in description logics with intractable inference. Because of the correspondence between description logics and propositional modal logic, difficult problems in propositional modal logic can be effectively solved using the same... (Update)
Cited by: More
Towards an Implementation of the Temporal Description Logic.. - Günsel, Wittmann (Correct)
Using DLs to reason on UML class diagrams - Berardi (2002) (Correct)
Backtracking and Qualified Number Restrictions: Some Preliminary .. - Horrocks (Correct)
Similar documents (at the sentence level):
48.0%: Optimising Description Logic Subsumption - Horrocks, Patel-Schneider (1999) (Correct)
10.7%: Optimising Propositional Modal Satisfiability for.. - Horrocks.. (1998) (Correct)
Active bibliography (related documents): More All
0.6: Using an Expressive Description Logic: FaCT or Fiction? - Horrocks (1998) (Correct)
0.5: Practical Reasoning for Very Expressive Description Logics - Horrocks, Sattler, Tobies (2000) (Correct)
0.4: Evaluating Optimised Decision Procedures for.. - Horrocks.. (2002) (Correct)
Similar documents based on text:
0.3: Optimisation Techniques for Expressive Description Logics - Horrocks (1997) (Correct)
0.1: A Systematic Proof Theory for Several Modal Logics (Extended .. - Stewart, Stouppa (2004) (Correct)
Related documents from co-citation: More All
12: the decidability of query containment under constraints - Calvanese, De Giacomo et al. - 1998
11: Practical reasoning for expressive description logics - Horrocks, Sattler et al. - 1999
10: Description logics for conceptual data modeling - Calvanese, Lenzerini et al. - 1998
BibTeX entry: (Update)
I. Horrocks and P.F. Patel-Schneider. Optimizing description logic subsumption. J. Logic and Computation, (to appear). http://citeseer.comp.nus.edu.sg/654169.html More
@misc{ horrocks-optimizing,
author = "I. Horrocks and P. Patel-Schneider",
title = "Optimizing description logic subsumption",
text = "I. Horrocks and P.F. Patel-Schneider. Optimizing description logic subsumption.
J. Logic and Computation, (to appear).",
url = "citeseer.comp.nus.edu.sg/654169.html" }
Citations (may not include all citations):390 A machine program for theorem proving (context) - Davis, Logemann et al. - 1962
195 Propositional dynamic logic of regular programs (context) - Fischer, Ladner - 1979
189 Living with CLASSIC: When and how to use a KL-ONE-like langu.. - Brachman, McGuinness et al. - 1991
176 A correspondence theory for terminological logics: Prelimina.. - Schild
162 Automata-theoretic techniques for modal logics of programs (context) - Vardi, Wolper - 1986
152 Decidable reasoning in terminological knowledge representati.. - Buchheit, Donini et al. - 1993
118 Using an expressive description logic: FaCT or fiction - Horrocks - 1998
112 Terminological reasoning is inherently intractable - Nebel - 1990
92 Building decision procedures for modal logics from propositi.. - Giunchiglia, Sebastiani - 1996
89 KRIS: Knowledge representation and inference system (context) - Baader, Hollunder - 1991
86 A terminological knowledge representation system with comple.. - Baader, Hollunder - 1991
85 Augmenting concept languages by transitive closure of roles:.. - Baader
80 Improvements to Propositional Satisfiability Search Algorith.. - Freeman - 1995
76 On evaluating decision procedures for modal logic - Hustadt, Schmidt - 1997
75 Attributive concept descriptions with complements (context) - Schmidt-Schau, Smolka - 1991
73 The GRAIL concept modelling language for medical terminology (context) - Rector, Bechhofer et al. - 1997
65 Probabilistic analysis of the Davis--Putnam procedure for so.. (context) - Franco, Paull - 1983
64 Solving propositional satisfiability problems (context) - Jeroslow, Wang - 1990
59 Models of program logics (context) - Pratt - 1979
57 Optimising Tableaux Decision Procedures for Description Logi.. (context) - Horrocks - 1997
49 Subsumption algorithms for concept languages - Hollunder, Nutt - 1990
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
39 Integrated support for data archaeology - Brachman, Selfridge et al. - 1993
38 Goals for concept representation in the GALEN project - Rector, Nowlan et al. - 1993
36 Intelligent Backtracking on Constraint Satisfaction Problems.. - Baker - 1995
31 A concept language extended with different kinds of transiti.. - Sattler - 1996
20 FaCT and DLP - Horrocks, Patel-Schneider - 1998
19 A practical decision method for propositional dynamic logic (context) - Pratt - 1978
17 Hard random 3-SAT problems and the Davis-Putnam procedure (context) - Freeman - 1996
17 DLP system description (context) - Patel-Schneider - 1998
17 Comparison of theorem provers for modal logics --- introduct.. (context) - Balsiger, Heuerding - 1998
15 A guide to completeness and complexity for model logics of k.. (context) - Halpern, Moses - 1992
13 Dl systems comparison - Horrocks, Patel-Schneider - 1998
11 Collected Papers from the International Description Logics W.. (context) - Franconi, De Giacomo et al. - 1998
8 Combining deduction and model checking into tableaux and alg.. - De Giacomo, Massacci - 1998
7 A Comparison of Two Terminological Knowledge Representation .. - Horrocks - 1995
6 Runtime and memory usage performance of description logics (context) - Speel, van Raalte et al. - 1995
4 Use and Storage for Efficiency: Proceedings of the First Int.. (context) - Ellis, Levinson et al. - 1995
3 Systems comparison: crack (context) - Franconi - 1998
2 Number 1397 in Lecture Notes in Artificial Intelligence (context) - de Swart, Reasoning et al. - 1998
1 Mathemetics: Papers from (context) - Tarski, Semantics - 1923
1 A SAT-based decision procedure (context) - Giunchiglia, Sebastiani - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.man.ac.uk/~horrocks/Publications/publications.html): More
FaCT and DLP - Horrocks, Patel-Schneider (Correct)
Practical Reasoning for Description Logics with.. - Horrocks, Sattler.. (1999) (Correct)
Knowledge Representation on the Web - Decker, Fensel, van Harmelen.. (2000) (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.