Ian Horrocks, Ulrike Sattler, Stephan Tobies  Home/Search
Context Related
Links: ACM DBLP | mighp0.cs.man.ac.uk/pub/...lpar99.ps.gz dblab.ntua.gr/~dwq/p23.pdf cs.man.ac.uk/~horrocks/P...lpar99.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: img.cs.man.ac.uk/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Expressive role constructors are important in many applications, but can be computationally problematical. We present an algorithm that decides satis ability of the DL ALC extended with transitive and inverse roles, role hierarchies, and qualifying number restrictions. Early experiments indicate that this algorithm is... (Update)
Cited by: More
Contorsion. A Semantic XPath Processor - Tous, Delgado (2005) (Correct)
Architecture of a Semantic XPath Processor.. - Tous, Garcia.. (Correct)
Open World Reasoning in Semantics-Aware - Access Control Preliminary (Correct)
Similar documents (at the sentence level): More
58.7%: Practical Reasoning for Expressive Description Logics - Horrocks, Sattler, Tobies (1999) (Correct)
32.2%: Practical Reasoning for Very Expressive Description Logics - Horrocks, Sattler, Tobies (2000) (Correct)
29.5%: Logic Journal - Of The Editor-In-Chief (Correct)
Active bibliography (related documents): More All
0.5: FaCT and iFaCT - Horrocks (Correct)
0.2: The Complexity of Cardinality Restrictions - Tobies (2000) (Correct)
0.2: Reasoning with Axioms: Theory and Practice - Horrocks, Tobies (2000) (Correct)
Similar documents based on text: More All
0.9: Decidability of SHIQ with Complex Role Inclusion Axioms - Horrocks (2003) (Correct)
0.8: Optimised Reasoning for SHIQ - Horrocks, Sattler (2001) (Correct)
0.5: A Description Logic with Transitive and Converse Roles.. - Horrocks, Sattler.. (1998) (Correct)
Related documents from co-citation: More All
32: the decidability of query containment under constraints - Calvanese, De Giacomo et al. - 1998
27: Description logics for conceptual data modeling - Calvanese, Lenzerini et al. - 1998
25: A correspondence theory for terminological logics: Preliminary report - Schild - 1991
BibTeX entry: (Update)
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for expressive description logics. In Proceedings of LPAR'99, LNCS, Tbilisi, Georgia, 1999. Springer-Verlag, Berlin { Heidelberg { New York, 1999. http://citeseer.ist.psu.edu/article/horrocks99practical.html More
@inproceedings{ horrocks99practical,
author = "Ian Horrocks and Ulrike Sattler and Stephan Tobies",
title = "Practical Reasoning for Expressive Description Logics",
booktitle = "Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning {({LPAR}'99)}",
number = "1705",
publisher = "Springer-Verlag",
editor = "Harald Ganzinger and David McAllester and Andrei Voronkov",
pages = "161--180",
year = "1999",
url = "citeseer.ist.psu.edu/article/horrocks99practical.html" }
Citations (may not include all citations):207 Attributive concept descriptions with complements (context) - Schmidt-Schau, Smolka - 1991 ACM DBLP
197 The complexity of concept languages - Donini, Lenzerini et al. - 1991
180 Reasoning in description logics - Donini, Lenzerini et al. - 1996
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991 DBLP
109 the decidability of query containment under constraints - Calvanese, De Giacomo et al. - 1998
88 Subsumption algorithms for concept description languages - Hollunder, Nutt et al. - 1990 DBLP
85 Augmenting concept languages by transitive closure of roles:.. - Baader - 1991 DBLP
72 A description logic with transitive and inverse roles and ro.. - Horrocks, Sattler - 1999 DBLP
51 Tbox and Abox reasoning in expressive description logics - De Giacomo, Lenzerini - 1996 DBLP
41 What's in an aggregate: Foundations for description logics w.. - De Giacomo, Lenzerini - 1995 DBLP
36 Cardinality restrictions on concepts - Baader, Buchheit et al. - 1996
34 Using an expressive description logic: FaCT or ction - Horrocks - 1998
31 Source integration in data warehousing - Calvanese, De Giacomo et al. - 1998 ACM DBLP
31 the expressivity of feature logics with negation (context) - Baader, urckert et al. - 1993
27 The undecidability of the dominoe problem (context) - Berger - 1966
26 Number restrictions on complex roles in description logics - Baader, Sattler - 1996 ACM
24 Combining deduction and model checking into tableaux and alg.. (context) - De Giacomo, Massacci - 1998
20 A description logic with transitive and converse roles - Horrocks, Sattler et al. - 1999
17 A PSpace algorithm for graded modal logic - Tobies - 1999 ACM DBLP
11 Reasoning in expressive description logics with xpoints base.. (context) - Calvanese, De Giacomo et al. - 1999
10 A concept language extended with di erent kinds of transitiv.. (context) - Sattler - 1996
9 A unied framework for class based representation formalisms (context) - Calvanese, Lenzerini et al.
7 A note on encoding inverse roles and functional restrictions.. - Calvanese, De Giacomo et al. - 1998 DBLP
4 A PSpace-algorithm for deciding ALCI R +-satisability (context) - Horrocks, Sattler et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://img.cs.man.ac.uk/publications.htm): More
The Implementation of a Deductive Query Language Over.. - Dinn, Paton.. (1995) (Correct)
Description Logics And Multimedia - Applying Lessons Learnt.. - Bechhofer, Goble (1996) (Correct)
A Terminology Server for Integrating Clinical.. - Zanstra, Rector.. (1995) (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