Reasoning in Expressive Description Logics

Reasoning in Expressive Description Logics (2000)

Cached

Download Links

by Diego Calvanese , Giuseppe De Giacomo , Daniele Nardi , Maurizio Lenzerini

Citations:

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

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