Test data for relational queries
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Approaches to knowledge representation: an introduction
Conceptual schema and relational database design: a fact oriented approach
Conceptual schema and relational database design: a fact oriented approach
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
Conceptual database design: an Entity-relationship approach
Conceptual database design: an Entity-relationship approach
The complexity of existential quantification in concept languages
Artificial Intelligence
Fundamentals of database systems (2nd ed.)
Fundamentals of database systems (2nd ed.)
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Understanding, building and using ontologies
International Journal of Human-Computer Studies
Description logics for conceptual data modeling
Logics for databases and information systems
The unified software development process
The unified software development process
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Horn clauses and database dependencies
Journal of the ACM (JACM)
On the Structure of Armstrong Relations for Functional Dependencies
Journal of the ACM (JACM)
Unary inclusion dependencies have polynomial time inference problems
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
An introduction to description logics
The description logic handbook
The description logic handbook
Conceptual modeling with description logics
The description logic handbook
Description logics for databases
The description logic handbook
Hi-index | 0.00 |
Description Logics are a well-known formalism used in artificial intelligence. We present an approach where a Description Logic is used as an intuitive modelling language. Unlike many other modelling methods, this provides a sound semantic basis for modelling. We indicate that the database implementation is effective and unambiguous, since there is a direct mapping between our formalism and dependencies in the relational model. We also give an example applying the method to the Semantic Web.