The Format Model: A Theory of database Organization
Journal of the ACM (JACM)
A semantics of multiple inheritance.
Proc. of the international symposium on Semantics of data types
GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
Interactive classification of conceptual knowledge
Proceedings from the first international workshop on Expert database systems
Type subsumption as a model of computation
Proceedings from the first international workshop on Expert database systems
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Computational complexity of terminological reasoning in BACK
Artificial Intelligence
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
O2, an object-oriented data model
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Formal properties of net-based knowledge representation schemes
Data & Knowledge Engineering
Relational database design for the intensional aspects of a knowledge base
Information Systems
Set containment inference and syllogisms
Theoretical Computer Science - First International Conference on Database Theory, Rome, September 1986
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Modeling complex structures in object-oriented logic programming
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
A deductive method for entity-relationship modeling
VLDB '89 Proceedings of the 15th international conference on Very large data bases
The O2 database programming language
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Subsumption in KL-ONE is undecidable
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Attributive concept descriptions with complements
Artificial Intelligence
Conceptual database design: an Entity-relationship approach
Conceptual database design: an Entity-relationship approach
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
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
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation
Communications of the ACM
Methodology and Tools for Data Design
Methodology and Tools for Data Design
FQL: a functional query language
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
An Expert Database Design System Based on Analysis of Forms
IEEE Transactions on Software Engineering
COL: A Logic-Based Language for Complex Objects
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Automatic Validation of Object-Oriented Database Structures
Proceedings of the Fifth International Conference on Data Engineering
Classification as a Query Processing Technique in the CANDIDE Semantic Data Model
Proceedings of the Fifth International Conference on Data Engineering
Easy ER - An Integrated System for the Design and Documentation of Data Base Applications
Proceedings of the Fourth International Conference on Entity-Relationship Approach
On Taxonomic Reasoning in E/R Environment
Proceedings of the Seventh International Conference on Enity-Relationship Approach: A Bridge to the User
Loading data into description reasoners
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
On the relationship between description logic and predicate logic queries
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Database design with common sense business reasoning and learning
ACM Transactions on Database Systems (TODS)
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Describing Database Objects in a Concept Language Environment
IEEE Transactions on Knowledge and Data Engineering
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering
Naive Semantics to Support Automated Database Design
IEEE Transactions on Knowledge and Data Engineering
Derived types and taxonomic constraints in conceptual modeling
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
Taxonomies and Derivation Rules in Conceptual Modeling
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Conceptual Data Model with Structured Objects for Statistical Database
SSDBM '96 Proceedings of the Eighth International Conference on Scientific and Statistical Database Management
Description logics for semantic query optimization in object-oriented database systems
ACM Transactions on Database Systems (TODS)
Reasoning in expressive description logics
Handbook of automated reasoning
Interactive Design of Object-Oriented Schema
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
The description logic handbook
Reasoning about Uniqueness Constraints in Object Relational Databases
IEEE Transactions on Knowledge and Data Engineering
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
Reasoning on UML class diagrams
Artificial Intelligence
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
Reasoning in expressive description logics with fixpoints based on automata on infinite trees
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
What's in an aggregate: foundations for description logics with tuples and sets
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Reasoning on UML class diagrams
Artificial Intelligence
Algebra of Ontology Modules for Semantic Agents
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
The DL-lite family and relations
Journal of Artificial Intelligence Research
Ontological analysis of taxonomic relationships
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
Adaptive and context-aware reconciliation of reactive and pro-active behavior in evolving systems
Active conceptual modeling of learning
Full satisfiability of UML class diagrams
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Non-destructive integration of form-based views
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
| Hi-index | 0.00 |
Taxonomic reasoning is a typical task performed by many AI knowledge representation systems. In this paper, the effectiveness of taxonomic reasoning techniques as an active support to knowledge acquisition and conceptual schema design is shown. The idea developed is that by extending conceptual models with defined concepts and giving them rigorous logic semantics, it is possible to infer isa relationships between concepts on the basis of their descriptions. From a theoretical point of view, this approach makes it possible to give a formal definition for consistency and minimality of a conceptual schema. From a pragmatic point of view it is possible to develop an active environment that allows automatic classification of a new concept in the right position of a given taxonomy, ensuring the consistency and minimality of a conceptual schema. A formalism that includes the data semantics of models giving prominence to type constructors (E/R, TAXIS, GALILEO) and algorithms for taxonomic inferences are presented: their soundness, completeness, and tractability properties are proved. Finally, an extended formalism and taxonomic inference algorithms for models giving prominence to attributes (FDM, IFO) are given.