Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati  Home/Search
Context Related
| dis.uniroma1.it/pub/rosati...dl98.ps.gz sunsite.informatik.rwt...caldegros.ps dis.uniroma1.it/pub/deg...dl98cdr.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: hermes.dis.uniroma1.it/~rosati... (more) From: hermes.dis.uniroma...publications (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we show that it is possible to eliminate (Update)
Context of citations to this paper: More
.... with concepts and relationships (of arbitrary arity) in DLR, a logic which can be used to reasoning about database schemata [Calvanese et al. 1998a] Implementation FaCT and iFaCT are implemented in Common Lisp, and have run successfully with several commercial and free...
...and 42 axioms, in less than 0.1s of (266MHz Pentium) CPU time. In contrast, eliminating inverse roles using an embedding technique [CDR98] gives an equisatis able FaCT terminology with an additional 84 axioms, but one which FaCT is unable to classify in 12 hours of CPU...
Cited by: More
Practical Reasoning for Very Expressive Description Logics - Horrocks, Sattler, Tobies (2000) (Correct)
Practical Reasoning for Expressive Description Logics - Horrocks, Sattler, Tobies (1999) (Correct)
FaCT and iFaCT - Horrocks (Correct)
Similar documents (at the sentence level):
10.7%: Reasoning in Expressive Description Logics - Calvanese (1998) (Correct)
Active bibliography (related documents): More All
0.1: Combining Deduction and Model Checking into Tableaux and.. - De Giacomo, Massacci (1998) (Correct)
0.1: Towards a Model Ontology for Grail - Mihoubi, Simonet, Simonet (Correct)
0.1: Relational Methods in Logic, Language and Information - Blackburn, de Rijke, Venema (Correct)
Similar documents based on text: More All
0.3: Description Logics and Logics - Franconi (Correct)
0.3: NExpTime-complete Description Logics with Concrete Domains - Lutz (2000) (Correct)
0.2: A Description Logic with Transitive and Converse Roles and.. - Horrocks, Sattler (1998) (Correct)
Related documents from co-citation: More All
7: A description logic with transitive and inverse roles and role hierarchies - Horrocks, Sattler - 1998
7: A correspondence theory for terminological logics: Preliminary report - Schild - 1991
7: Source integration in data warehousing - Calvanese, De Giacomo et al. - 1997
BibTeX entry: (Update)
D. Calvanese, G. De Giacomo, and R. Rosati. A note on encoding inverse roles and functional restrictions in ALC knowledge bases. In Proc. of DL'98, 1998. http://citeseer.ist.psu.edu/calvanese98note.html More
@misc{ calvanese98note,
author = "D. Calvanese and G. De Giacomo and R. Rosati",
title = "A note on encoding inverse roles and functional restrictions in ALC knowledge
bases",
text = "D. Calvanese, G. De Giacomo, and R. Rosati. A note on encoding inverse
roles and functional restrictions in ALC knowledge bases. In Proc. of DL'98,
1998.",
year = "1998",
url = "citeseer.ist.psu.edu/calvanese98note.html" }
Citations (may not include all citations):180 Reasoning in description logics - Donini, Lenzerini et al. - 1996
152 Decidable reasoning in terminological knowledge representati.. - Buchheit, Donini et al. - 1993
97 Description logic framework for information integration - Calvanese, De Giacomo et al. - 1998
51 TBox and ABox reasoning in expressive description logics - De Giacomo, Lenzerini - 1996
45 Structured objects: Modeling and reasoning - Calvanese, De Giacomo et al. - 1995
44 Boosting the correspondence between description logics and p.. - De Giacomo, Lenzerini - 1994
41 What's in an aggregate: Foundations for description logics w.. - De Giacomo, Lenzerini - 1995
7 Language and Information (context) - De Giacomo, converse et al. - 1996
7 Optimisation techniques for expressive description logics - Horrocks - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://hermes.dis.uniroma1.it/~rosati/publications/): More
Reasoning about High-Level Robot Behaviors by Model.. - De Giacomo, Rosati (1998) (Correct)
Moving a Robot: The KR&R Approach at Work - De Giacomo, Iocchi, Nardi, Rosati (1996) (Correct)
Minimal Knowledge States in Nonmonotonic Modal Logics - Riccardo Rosati (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