Reasoning in Expressive Description Logics
- 1 January 2001
- book chapter
- Published by Elsevier
- p. 1581-1634
- https://doi.org/10.1016/b978-044450813-3/50025-4
Abstract
No abstract availableThis publication has 45 references indexed in Scilit:
- Expressive number restrictions in description logicsJournal of Logic and Computation, 1999
- Using automata theory for characterizing the semantics of terminological cyclesAnnals of Mathematics and Artificial Intelligence, 1996
- Embedding defaults into terminological knowledge representation formalismsJournal of Automated Reasoning, 1995
- Description logics in data managementIEEE Transactions on Knowledge and Data Engineering, 1995
- BUILDING A FEDERATED RELATIONAL DATABASE SYSTEM: AN APPROACH USING A KNOWLEDGE-BASED SYSTEMInternational Journal of Cooperative Information Systems, 1994
- Acquisition and validation of complex object database schemata supporting multiple inheritanceApplied Intelligence, 1994
- On taxonomic reasoning in conceptual designACM Transactions on Database Systems, 1992
- A calculus for complex objectsJournal of Computer and System Sciences, 1989
- Deterministic propositional dynamic logic: Finite models, complexity, and completenessJournal of Computer and System Sciences, 1982
- The Word ProblemAnnals of Mathematics, 1959