• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Reasoning in Expressive Description Logics (2000)

Cached

  • Download as a PDF

Download Links

  • [www.dis.uniroma1.it]
  • [www.dis.uniroma1.it]
  • [www.inf.unibz.it]
  • [www.dis.uniroma1.it]
  • [www.dis.uniroma1.it]
  • [www.dis.uniroma1.it]
  • [www.inf.unibz.it]
  • [www.cs.man.ac.uk]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Diego Calvanese , Giuseppe De Giacomo , Daniele Nardi , Maurizio Lenzerini
Citations:81 - 17 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@MISC{Calvanese00reasoningin,
    author = {Diego Calvanese and Giuseppe De Giacomo and Daniele Nardi and Maurizio Lenzerini},
    title = { Reasoning in Expressive Description Logics},
    year = {2000}
}

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Citations

1234 The Entity-Relationship Model -- Toward a Unified View of Data - Chen - 1976
1232 Theory of Linear and Integer Programming - SCHRIJVER - 1986
743 First-Order Dynamic Logic - Harel - 1997
312 Propositional dynamic logic of regular programs - Fischer, Ladner - 1979
301 The Logic of Typed Feature Structures - Carpenter - 1992
279 Practical Reasoning for Expressive Description Logics - Horrocks, Sattler, et al. - 1999
259 Results on the propositional _-calculus - Kozen - 1983
242 Undecidability of the domino problem - Berger - 1966
229 Using an expressive description logic: FaCT or fiction - Horrocks - 1998
222 On the decidability of query containment under constraints - Calvanese, Giacomo, et al. - 1998
219 The complexity of concept languages - Donini, Lenzerini, et al. - 1997
184 Logics of Time and Computation - Goldblatt - 1992
174 Description logics in data management - Borgida - 1995
171 Decidable reasoning in terminological knowledge representation systems - Buchheit, Donini, et al. - 1993
167 The tractability of subsumption in frame-based description languages - Brachman, Levesque - 1984
160 Tableau algorithms for description logics - Baader, Sattler - 2000
155 A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic - Borgida - 1994
148 Attributive concept descriptions with complements - Schmidt-Schau��, Smolka - 1991
136 Terminological reasoning is inherently intractable - Nebel - 1990
134 M.: Representing and using interschema knowledge in cooperative information systems - Catarci, Lenzerini - 1993
129 H.: An empirical analysis of optimization techniques for terminological representation systems or: Making KRIS get a move on - Baader, Franconi, et al. - 1994
124 Logics of programs - Kozen, Tiuryn - 1990
119 Undecidability and Nonperiodicity for Tilings of the Plane - Robinson - 1971
118 Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services - Doyle, Patil - 1991
113 Augmenting concept languages by transitive closure of rules: An alternativ to terminological cycles - Baader - 1991
112 Embedding defaults into terminological knowledge representation formalisms - Baader, Hollunder - 1995
106 A Description Logic with Transitive and Inverse Roles and Role Hierarchies - Horrocks, Sattler - 1999
93 Terminological cycles: Semantics and computational properties. In: Principles of Semantic Networks - Nebel - 1991
83 Unifying Class-Based Representation Formalisms - Calvanese, Lenzerini - 1999
80 Qualifying number restrictions in concept languages - Hollunder, Baader - 1991
80 Models of Program Logic - Pratt - 1979
79 TBox and ABox Reasoning in Expressive Description Logics - Giacomo, Lenzerini - 1996
79 Boosting the Correspondence between Description - Giacomo, Lenzerini - 1994
78 S.: A calculus for complex objects - Bancilhon, Khoshafian - 1986
73 Deduction in concept languages: From subsumption to instance checking - Donini, Lenzerini, et al. - 1994
70 On the complexity of integer programming - Papadimitriou - 1981
70 Reasoning with individuals in concept languages - Schaerf - 1994
68 Adding Epistemic Operators to Concept Languages - Donini, Lenzerini, et al.
67 An automata theoretic decision procedure for the propositional mucalculus - Streett, Emerson - 1989
66 Query answering algorithms for information agents - Levy, Rajaraman, et al. - 1996
64 Tractable Concept Languages - Donini, Lenzerini, et al. - 1991
63 Path constraints on semistructured and structured data - Buneman, Fan, et al. - 1998
62 On taxonomic reasoning in conceptual design - Bergamaschi, Sartori - 1992
62 Decidability of Class-Based Knowledge Representation Formalisms - Giacomo - 1995
57 Answering queries using views over description logics knowledge bases - Calvanese, Giacomo, et al. - 2000
54 Combining deduction and model checking into tableaux and algorithms for Converse-PDL’, Information and Computation - Giacomo, Massacci - 2000
54 Recurring Dominoes: Making the Highly Undecidable Highly Understandable, Fundamentals of Computation Theory - Harel
52 Modeling complex structures in Object-Oriented Databases - Lecluse, Richard - 1989
50 A four-valued semantics for terminological logics - Patel-Schneider - 1989
49 Structures Objects: Modeling and Reasoning - Calvanese, Giacomo, et al. - 1995
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University