Ian Horrocks, Ulrike Sattler  Home/Search
Context Related
| mighp0.cs.man.ac.uk/...jlctitle2.ps.gz dbnet.ece.ntua.gr/~dwq/p21.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: cs.man.ac.uk/mig/p...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The combination of transitive and inverse roles is important in a range of applications, and is crucial for the adequate representation of aggregated objects, allowing the simultaneous description of parts by means of the whole to which they belong and of wholes by means of their constituent parts. In this paper we present tableaux algorithms for deciding concept satisfiability and subsumption in Description Logics that extend ALC with both transitive and inverse roles, a role hierarchy, and... (Update)
Cited by: More
Non-destructive Integration of Form-based - Views Jan Hidders (2005) (Correct)
Distributed Description Logics: Directed Domain . . . - Bordiga, Serafini (2002) (Correct)
Distributed Description Logics: Assimilating . . . - Bordiga, Serafini (Correct)
Similar documents (at the sentence level): More
45.4%: A Description Logic with Transitive and Converse Roles.. - Horrocks, Sattler.. (1998) (Correct)
38.2%: A Description Logic with Transitive and Inverse Roles and.. - Horrocks, Sattler (1998) (Correct)
27.8%: A Description Logic with Transitive and Converse Roles and.. - Horrocks, Sattler (1998) (Correct)
Active bibliography (related documents): More All
0.3: Practical Reasoning for Very Expressive Description Logics - Horrocks, Sattler, Tobies (2000) (Correct)
0.3: Optimising Description Logic Subsumption - Horrocks, Patel-Schneider (1998) (Correct)
0.2: Description of the RACER System and its Applications - Haarslev, Möller (2001) (Correct)
Similar documents based on text: More All
0.3: Mary Likes all Cats - Lutz, Sattler (2000) (Correct)
0.3: Practical Reasoning for Description Logics with.. - Horrocks, Sattler.. (1999) (Correct)
0.2: Using an Expressive Description Logic: FaCT or Fiction? - Horrocks (1998) (Correct)
Related documents from co-citation: More All
28: Decidable reasoning in terminological knowledge representation systems - Buchheit, Donini et al. - 1993
26: A correspondence theory for terminological logics: Preliminary report - Schild - 1991
24: Augmenting concept languages by transitive closure of roles: An alternative to t.. - Baader - 1991
BibTeX entry: (Update)
I. Horrocks and U. Sattler. A description logic with transitive and inverse roles and role hierarchies. Technical Report 98-05, LuFg Theoretical Computer Science, RWTH Aachen, 1998. Available via www: http://www-lti.informatik. rwth-aachen.de/Forschung/Papers.html. http://citeseer.ist.psu.edu/article/horrocks98description.html More
@article{ horrocks99description,
author = "Ian Horrocks and Ulrike Sattler",
title = "A Description Logic with Transitive and Inverse Roles and Role Hierarchies",
journal = "Journal of Logic and Computation",
volume = "9",
number = "3",
pages = "385--410",
year = "1999",
url = "citeseer.ist.psu.edu/article/horrocks98description.html" }
Citations (may not include all citations):637 The entity-relationship model: Toward a unified view of data (context) - Chen - 1976
240 A guide to completeness and complexity for modal logic of kn.. (context) - Halpern, Moses - 1992
207 Attributive concept descriptions with complements (context) - Schmidt-Schauss, Smolka - 1991
195 Propositional dynamic logic of regular programs (context) - Fischer, Ladner - 1979
176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991
152 Decidable reasoning in terminological knowledge representati.. - Buchheit, Donini et al. - 1993
130 The computational complexity of provability in systems of mo.. (context) - Ladner - 1977
118 Using an expressive description logic: FaCT or fiction - Horrocks - 1998
85 Augmenting concept languages by transitive closure of roles:.. - Baader - 1991
59 Models of program logics (context) - Pratt - 1979
57 Optimising Tableaux Decision Procedures for Description Logi.. (context) - Horrocks - 1997
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
49 Subsumption algorithms for concept languages - Hollunder, Nutt - 1990
44 Boosting the correspondence between description logics and p.. - De Giacomo, Lenzerini - 1994
36 Cardinality restrictions on concepts - Baader, Buchheit et al. - 1996
35 Terminological knowledge representation systems in a process.. - Sattler - 1998
34 La Sapienza (context) - De Giacomo, Class-Based et al. - 1995
31 A concept language extended with different kinds of transiti.. - Sattler - 1996
31 DLP system description (context) - Patel-Schneider
31 the expressivity of feature logics with negation (context) - Baader, Burckert et al. - 1993
24 Combining deduction and model checking into tableaux and alg.. (context) - De Giacomo, Massacci
24 Combining deduction and model checking into tableaux and alg.. (context) - De Giacomo, Massacci - 1998
17 La Sapienza (context) - Calvanese, Finite et al. - 1996
16 Comparing subsumption optimizations - Horrocks, Patel-Schneider
11 Collected Papers from the International Description Logics W.. (context) - Franconi, De Giacomo et al. - 1998
9 Description logics with transitive roles - Horrocks, Gough - 1997
4 A PSpace-algorithm for deciding ALCNI R +- satisfiability - Horrocks, Sattler et al. - 1998
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)
Description Logics with Transitive Roles - Horrocks, Gough (1997) (Correct)
Optimisation Techniques for Expressive Description Logics - Horrocks (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