| Alternate document: Details Practical Reasoning for Expressive Description Logics (99) Ian Horrocks, Ulrike Sattler, Stephan Tobies |
Ian Horrocks, Ulrike Sattler, Stephan Tobies  Home/Search
Context Related
| lti.informatik.rwt...obiesM4M99.ps.gz mighp0.cs.man.ac.uk/...m4m99shif.ps.gz dblab.ntua.gr/~dwq/p22.pdf 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: cantor.informatik.rwtha...Papers (more) From: img.cs.man.ac.uk/publications (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 satisfiability of the DL ALC extended with transitive and inverse roles, role hierarchies, and functional restrictions; early experiments indicate that this algorithm is wellsuited for... (Update)
Context of citations to this paper: More
.... restart technique used to deal with concepts moving backwards in the completion tree due to the choose rule has already been used in [11] to handle inverse roles. Definition 2 An ALCQI concept C is in negation normal form (NNF) if negation occurs only in front of atomic...
.... by typos are not transitive and do not have any transitive subroles are allowed in number restrictions (see also the comments in [Horrocks et al. 99a, Horrocks et al. 99b] DL notation RACE syntax At most restriction # n RN (at most n RN ) At least restriction # n RN (at least...
Cited by: More
RACER User' Guide and Reference Manual - Version 1.6.1 - Haarslev, Möller (2001) (Correct)
PSpace Reasoning for DLs with Qualifying Number Restrictions - Tobies (1999) (Correct)
RACE User's Guide and Reference Manual Version 1.1 - Haarslev, Möller, Turhan (1999) (Correct)
Similar documents (at the sentence level): More
40.0%: Practical Reasoning for Very Expressive Description Logics - Horrocks, Sattler, Tobies (2000) (Correct)
36.1%: Practical Reasoning for Expressive Description Logics - Horrocks, Sattler, Tobies (1999) (Correct)
32.1%: Logic Journal - Of The Editor-In-Chief (Correct)
Active bibliography (related documents): More All
0.2: FaCT and iFaCT - Horrocks (Correct)
0.1: Reasoning with Individuals for the Description Logic SHIQ - Horrocks, Sattler, Tobies (2000) (Correct)
0.1: Tableau Algorithms for Description Logics - Baader, Sattler (2000) (Correct)
Similar documents based on text: More All
1.0: Decidability of SHIQ with Complex Role Inclusion Axioms - Horrocks (2003) (Correct)
0.5: A Suggestion for an n-ary Description Logic - Sattler, Sattler, Tobies (1999) (Correct)
0.5: A PSPACE-Algorithm for Deciding ALCNI_R+ Satisfiability - Horrocks, Sattler, Tobies (1998) (Correct)
Related documents from co-citation: More All
2: A PSpace algorithm for graded modal logic - Tobies - 1999
2: A description logic with transitive and converse roles and role hierarchies - Horrocks, Sattler - 1998
2: A guide to completeness and complexity for model logics of knowledge and belief (context) - Halpern - 1992
BibTeX entry: (Update)
I. Horrocks, U. Sattler, and S. Tobies. Practical reasoning for description logics with functional restrictions, inverse and transitive roles, and role hierarchies. In Proceedings of the 1999 Workshop Methods for Modalities (M4M-1), Amsterdam, 1999. http://citeseer.ist.psu.edu/horrocks99practical.html More
@inproceedings{ horrocks99practical,
author = "Ian Horrocks and Ulrike Sattler and Stephan Tobies",
title = "Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies",
booktitle = "Proceedings of the 1999 Workshop Methods for Modalities (M4M-1)",
address = "Amsterdam",
year = "1999",
url = "citeseer.ist.psu.edu/horrocks99practical.html" }
Citations (may not include all citations):207 Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
180 Reasoning in description logics - Donini, Lenzerini et al. - 1996
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991
118 Using an expressive description logic: FaCT or fiction - Horrocks - 1998
88 Subsumption algorithms for concept description languages - Hollunder, Nutt et al. - 1990
85 Augmenting concept languages by transitive closure of roles:.. - Baader - 1990
72 A description logic with transitive and inverse roles and ro.. - Horrocks, Sattler - 1999
57 Qualifying number restrictions in concept languages (context) - Hollunder, Baader - 1991
52 A unified framework for class based representation formalism.. - Calvanese, Lenzerini et al. - 1994
51 Tbox and Abox reasoning in expressive description logics - De Giacomo, Lenzerini - 1996
41 What's in an aggregate: Foundations for description logics w.. - De Giacomo, Lenzerini - 1995
31 A concept language extended with different kinds of transiti.. - Sattler - 1996
31 Source integration in data warehousing - Calvanese, De Giacomo et al. - 1998
31 the expressivity of feature logics with negation (context) - Baader, Burckert 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
24 Combining deduction and model checking into tableaux and alg.. (context) - De Giacomo, Massacci - 1998
7 A note on encoding inverse roles and functional restrictions.. - Calvanese, De Giacomo et al. - 1998
2 A PSPACE-algorithm for deciding ALCI R +- satisfiability (context) - Horrocks, Sattler et al. - 1998
Documents on the same site (http://cantor.informatik.rwth-aachen.de/Forschung/Papers.html): More
A NExpTime-Complete Description Logic Strictly Contained in C² - Tobies (1999) (Correct)
Matching in Description Logics with Existential Restrictions - Baader, Küsters (1999) (Correct)
Reasoning with Concrete Domains - Lutz (1999) (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