this paper, which correspond to a language called ALCQI . For a comprehensive discussion on the constructs used in DLs, see [Woods and Schmolze 1992, De Giacomo 1995, Calvanese 1996c, Donini et al. 1996]
|
1121
|
The Entity-Relationship Model - Toward a Unified View of Data”, Transactions on Database Systems
– Chen
- 1976
|
|
986
|
Theory of Linear and Integer Programming
– Schrijver
- 1986
|
|
268
|
The Logic of Typed Feature Structures
– Carpenter
- 1992
|
|
264
|
Results on the propositional -calculus
– Kozen
- 1983
|
|
260
|
The propositional dynamic logic of regular programs
– Fischer, Ladner
- 1979
|
|
240
|
Practical reasoning for expressive description logics
– Horrocks, Sattler, et al.
- 1999
|
|
207
|
The complexity of concept languages
– Donini, Lenzerini, et al.
- 1991
|
|
189
|
The Undecidability of the Dominoe Problem
– Berger
- 1966
|
|
183
|
On the Decidability of Query Containment under Constraints
– CALVANESE, GIACOMO, et al.
- 1998
|
|
177
|
Logics of Time and Computation
– Goldblatt
- 1987
|
|
163
|
Description logics for data management
– Borgida
- 1995
|
|
158
|
Decidable reasoning in terminological knowledge representation systems
– Buchheit, Donini, et al.
- 1993
|
|
151
|
A semantics and complete algorithm for subsumption in the CLASSIC description logic
– Borgida, Patel-Schneider
- 1994
|
|
150
|
Smolka: Attribute concept descriptions with complements
– Schmidt-Schau, G
- 1991
|
|
148
|
The tractability of subsumption in framebased description languages
– Brachman, Levesque
- 1984
|
|
132
|
Representing and using Interschema Knowledge in Cooperative Information Systems
– CATARCI, LENZERINI
- 1993
|
|
130
|
U.: An overview of tableau algorithms for description logics
– Baader, Sattler
|
|
123
|
Terminological reasoning is inherently intractable
– Nebel
- 1990
|
|
120
|
Logics of program
– Kozen, Tiurzyn
- 1990
|
|
118
|
An empirical analysis of optimization techniques for terminological representation systems
– Baader, Hollunder, et al.
- 1992
|
|
106
|
Two theses of knowledge representation: languages restrictions, taxonomic classification, and the utility of representation services
– Doyle, Patil
- 1991
|
|
105
|
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
– Baader
- 1991
|
|
97
|
Embedding defaults into terminological knowledge representation formalisms
– Baader, Hollunder
- 1995
|
|
93
|
Terminological cycles: semantics and computational properties
– Nebel
- 1990
|
|
89
|
A description logic with transitive and inverse roles and role hierarchies
– Horrocks, Sattler
- 1999
|
|
78
|
Undecidability and nonperiodicity of tilings of the plane
– Robinson
- 1971
|
|
76
|
A Calculus for Complex Objects
– Bancilhon, Khoshafian
- 1986
|
|
76
|
Models of program logics
– Pratt
- 1979
|
|
76
|
Boosting the correspondence between descriptionlogics and propositional dynamic logics
– Giacomo, Lenzerini
|
|
72
|
Unifying classbased representation formalisms
– Calvanese, Lenzerini, et al.
- 1999
|
|
71
|
Tbox and Abox reasoning in expressive description logics
– Giacomo, Lenzerini
- 1996
|
|
66
|
Qualifying number restrictions in concept languages
– Hollunder, Baader
- 1991
|
|
66
|
Query answering algorithms for information agents
– Levy, Rajaraman, et al.
- 1996
|
|
64
|
Path constraints on semistructured and structured data
– Buneman, Fan, et al.
- 1998
|
|
62
|
1991], Tractable concept languages
– Donini, Lenzerini, et al.
|
|
62
|
Adding epistemic operators to concept languages
– Donini, Lenzerini, et al.
- 1992
|
|
62
|
Deduction in concept languages: From subsumption to instance checking
– Donini, Lenzerini, et al.
- 1994
|
|
60
|
An automata theoretic decision procedure for the propositional mu-calculus
– Streett, Emerson
- 1989
|
|
59
|
On taxonomic reasoning in conceptual design
– Bergamaschi, Sartori
- 1992
|
|
58
|
On the complexity of integer programming
– Papadimitriou
- 1981
|
|
57
|
Decidability of Class-Based Knowledge Representation Formalisms
– Giacomo
- 1995
|
|
57
|
Reasoning with individuals in concept languages
– Schaerf
- 1994
|
|
53
|
Modelling complex structures in object-oriented databases
– Lecluse, Richard
- 1989
|
|
53
|
Answering queries using views over description logics knowledge bases
– Calvanese, Giacomo, et al.
- 2000
|
|
52
|
Structured objects: Modeling and reasoning
– Calvanese, Giacomo, et al.
- 1995
|
|
48
|
What’s in an aggregate: Foundations for description logics with tuples and sets
– Giacomo, Lenzerini
- 1995
|
|
48
|
Recurring dominoes: Making the highly undecidable highly understandable
– Harel
- 1985
|
|
47
|
A four-valued semantics for terminological logics
– Patel-Schneider
- 1989
|
|
45
|
Combining deduction and model checking into tableaux and algorithms for converse-PDL
– Giacomo, Massacci
|
|
45
|
A survey of theoretical research on typed complex database objects
– Hull
- 1988
|
|
