| Alternate document: Details A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions (98) Ian Horrocks, Ulrike |
Ian Horrocks  Home/Search
Context Related
| dblab.ntua.gr/%7Edwq...DL98crc_dwq.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: dbnet.ece.ntua.gr/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: base could contain the following entries defining two different parts of the brain, namely the gyrus and the cerebellum. In contrast to a gyrus, a cerebellum is an integral organ and, furthermore, a functional component of the brain. Hence the role is component (which is a non-transitive sub-role of is part) is used to describe the relation between the brain and the cerebellum: is componentv is part gyrus := #8consists:brain mass# u #9is part:brain# cerebellum := organ u #9is... (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
53.1%: A Description Logic with Transitive and Converse Roles and.. - Horrocks, Sattler (1998) (Correct)
51.8%: A Description Logic with Transitive and Inverse Roles and.. - Horrocks, Sattler (1998) (Correct)
42.3%: A Description Logic with Transitive and Converse Roles.. - Horrocks, Sattler.. (1998) (Correct)
Active bibliography (related documents): More All
0.1: Practical Reasoning for Expressive Description Logics - Horrocks, Sattler, Tobies (1999) (Correct)
0.1: Practical Reasoning for Description Logics with.. - Horrocks, Sattler.. (1999) (Correct)
0.1: Practical Reasoning for Very Expressive Description Logics - Horrocks, Sattler, Tobies (2000) (Correct)
Similar documents based on text: More All
0.6: Open Problems with Part-Whole Relations - Artale, Franconi, Guarino (1996) (Correct)
0.5: Modeling Multidimensional Databases: A Formal Object-Centered .. - Hacid, Sattler (Correct)
0.5: Description Logics with Aggregates and Concrete Domains - Baader, Sattler (1997) (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/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/horrocks98description.html" }
Citations (may not include all citations):176 A correspondence theory for terminological logics: Prelimina.. - Schild - 1991
152 Decidable reasoning in terminological knowledge representati.. - Buchheit, Donini et al. - 1993
118 Using an Expressive Description Logic: FaCT or Fiction - Horrocks - 1998
85 Augmenting concept languages by transitive closure of roles:.. - Baader - 1991
72 A description logic with transitive and inverse roles and ro.. - Horrocks, Sattler - 1998
51 Tbox and Abox reasoning in expressive description logics - De Giacomo, Lenzerini - 1996
36 Cardinality restrictions on concepts - Baader, Buchheit et al. - 1996
35 Terminological knowledge representation systems in a process.. - Sattler - 1998
31 the expressivity of feature logics with negation (context) - Baader, Burckert et al. - 1993
31 A concept language extended with different kinds of transiti.. - Sattler - 1996
24 Combining deduction and model checking into tableaux and alg.. (context) - De Giacomo, Massacci - 1998
15 Attributive concept descriptions with unions and complements (context) - Schmidt-Schau, Smolka - 1988
9 Description logics with transitive roles - Horrocks, Gough - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dbnet.ece.ntua.gr/~dwq/publications.html): More
Source Integration in Data Warehousing - Calvanese, De Giacomo, Lenzerini, .. (1997) (Correct)
Dynamic Data Warehouse Design - Theodoratos, Sellis (1999) (Correct)
Unification of Knowledge Bases - Baader (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