Description logics: Foundations for class-based knowledge representation

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2002, Pages 359-370

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^a   Lenzerini, Maurizio ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGICS (DL);

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; DATABASE SYSTEMS; KNOWLEDGE BASED SYSTEMS;

FORMAL LOGIC;

EID: 0036049253     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2002.1029843     Document Type: Conference Paper

References (124)

1. Hybrid logic: Characterization, interpolation and complexity
2. A computational account for a description logic of time and action
3. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles
4. Concept logics
5. A schema for integrating concrete domains into concept languages
6. KRIS: Knowledge representation and inference system
7. Embedding defaults into terminological knowledge representation formalisms
8. Unification in a description logic with transitive closure of roles
9. Computing least common subsumers in description logics with existential restrictions
10. Rewriting concepts using terminologies
11. Fusions of description logics
12. Tableau algorithms for description logics
13. OilEd: A Reason-able ontology editor for the semantic web
14. Rewriting queries using views in description logics
15. Deterministic propositional dynamic logic: Finite models, complexity, and completeness
16. ODB-QOPTIMIZER: A tool for semantic query optimization in OODB
17. Semantic integration of heterogeneous information sources
18. On taxonomic reasoning in conceptual design
19. An automatatheoretic approach to branching-time model checking
20. Nominal tense logic
21. A modal perspective on computational complexity of attribute value grammars
22. Building a federated relational database system: An approach using a knowledge-based system
23. Description logics in data management
24. Adding uniqueness constraints to description logics (preliminary report)
25. The tractability of subsumption in frame-based description languages
26. Living with CLASSIC: When and how to use a KL-ONE-like language
27. An overview of the KL-ONE knowledge representation system
28. Terminological systems revisited: Terminology = schema + views
29. Decidable reasoning in terminological knowledge representation systems
30. An approach to tense logic
31. Semistructured data
32. Finite model reasoning in description logics
33. Structured objects: Modeling and reasoning
34. On the decidability of query containment under constraints
35. What can knowledge representation do for semi-structured data?
36. Reasoning in expressive description logics with fixpoints based on automata on infinite trees
37. Representing and reasoning on XML documents: A description logic approach
38. Answering queries using views over description logics knowledge bases
39. Identification constraints and functional dependencies in description logics
40. 2ATAs make DLs easy
41. Reasoning in expressive description logics
42. Description logic framework for information integration
43. Making object-oriented schemas more expressive
44. A unified framework for class based representation formalisms
45. Unifying classbased representation formalisms
46. Representing and using interschema knowledge in cooperative information systems
47. Boosting the correspondence between description logics and propositional dynamic logics
48. Concept language with number restrictions and fixpoints, and its relationship with μ-calculus
49. Description logics with inverse roles, functional restrictions, and n-ary relations
50. What's in an aggregate: Foundations for description logics with tuples and sets
51. TBox and ABox reasoning in expressive description logics
52. A uniform framework for concept definitions in description logics
53. Combining deduction and model checking into tableaux and algorithms for converse-PDL
54. The use of description logics in KBSE systems
55. The complexity of existential quantification in concept languages
56. Tractable concept languages
57. The complexity of concept languages
58. An epistemic operator for description logics
59. Deduction in concept languages: From subsumption to instance checking
60. Reasoning in description logics
61. AL-log: Integrating datalog and description logics
62. EXPTIME tableaux for ALC
63. Tree automata, mu-calculus and determinacy
64. Graded modalities I
65. OIL: An ontology infrastructure for the semantic web
66. In so many possible worlds
67. Propositional dynamic logic of regular programs
68. The i.com tool for intelligent conceptual modeling
69. Modal logic with names
70. Determinism and looping in combinatory PDL
71. The use of CARIN language and algorithms for information integration: The Picsel system
72. Decidability issues for action guarded logics
73. High performance reasoning with very large knowledge bases: A practical case study
74. RACER system description
75. Qualifying number restrictions in concept languages
76. Using an expressive description logic: FaCT or fiction?
77. Daml+oil: A description logic for the semantic web
78. Optimizing description logic subsumption
79. A description logic with transitive and inverse roles and role hierarchies
80. On decidability and complexity of description logics with uniqueness constraints
81. Logics of programs
82. The complexity of the graded mu-calculus
83. Expressiveness of concept expressions in first-order description
84. Concept languages as query languages
85. Expressiveness and tractability in knowledge representation and reasoning
86. Query answering algorithms for information agents
87. Combining Horn rules and description logics in CARIN
88. Reasoning with concrete domains
89. NEXPTIME-complete description logics with concrete domains
90. Alternating automata on infinite trees
91. Computational complexity of terminological reasoning in BACK
92. Terminological reasoning is inherently intractable
93. Terminological cycles: Semantics and computational properties
94. PDL with data constraints
95. An essay in combinatory dynamic logic
96. Small can be beautiful in knowledge representation
97. ARGON: Knowledge representation meets information retrieval
98. The BACK system - An overview
99. A near-optimal method for reasoning about action
100. The hybrid μ-calculus
101. On the complexity of the instance checking problem in concept languages with existential quantification
102. Reasoning with individuals in concept languages
103. A correspondence theory for terminological logics: Preliminary report
104. Terminological cycles and the propositional μ-calculus
105. Attributive concept descriptions with complements
106. On automatic reasoning for schema integration
107. Automata on infinite objects
108. Languages, automata, and logic
109. The complexity of reasoning with cardinality restrictions and nominals in expressive description logics
110. Information integration using logical views
111. On the semantics of graded modalities
112. Counting objects
113. Reasoning about the past with two-way automata
114. Automata-theoretic techniques for modal logics of programs
115. Terminological reasoning with constraint networks and an application to plan recognition
116. The KL-ONE family