Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
A four-valued semantics for terminological logics
Artificial Intelligence
CLASSIC: a structural data model for objects
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
Federated database systems for managing distributed, heterogeneous, and autonomous databases
ACM Computing Surveys (CSUR) - Special issue on heterogeneous databases
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
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
KRIS: Knowledge Representation and Inference System
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
The logic of typed feature structures
The logic of typed feature structures
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Loading data into description reasoners
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Subsumption between queries to object-oriented databases
Information Systems - Special issue on extending database technology
On the relationship between description logic and predicate logic queries
CIKM '94 Proceedings of the third international conference on Information and knowledge management
The use of description logics in KBSE systems: experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
Common expression analysis in database applications
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
CLASP: Integrating Term Subsumption Systems and Production Systems
IEEE Transactions on Knowledge and Data Engineering
A Conceptual Clustering Algorithm for Database Schema Design
IEEE Transactions on Knowledge and Data Engineering
IAAI '93 Proceedings of the The Fifth Conference on Innovative Applications of Artificial Intelligence
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
Knowledge Mining by Imprecise Querying: A Classification-Based Approach
Proceedings of the Eighth International Conference on Data Engineering
Proceedings of the IFIP 12th World Computer Congress on Personal Computers and Intelligent Systems - Information Processing '92 - Volume 3 - Volume 3
Deriving Inference Rules for Terminological Logics
JELIA '92 Proceedings of the European Workshop on Logics in AI
Attribute Description Formalisms ... and the Rest of the World
Text Understanding in LILOG, Integrating Computational Linguistics and Artificial Intelligence, Final Report on the IBM Germany LILOG-Project
Configuration as a Consistency Maintenance Task
Künstliche Intelligenz, GWAI-88, 12. Jahrestagung
A Family of Temporal Terminological Logics
AI*IA '93 Proceedings of the Third Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification)
ACM Transactions on Database Systems (TODS)
Rewriting queries using views in description logics
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
TourisT: the application of a description logic based semantic hypermedia system for tourism
Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
Adding more “DL” to IDL: towards more knowledgeable component inter-operability
Proceedings of the 21st international conference on Software engineering
Theory of answering queries using views
ACM SIGMOD Record
A vision for management of complex models
ACM SIGMOD Record
Access to heterogeneous data sources for supporting business process execution
Proceedings of the 2001 ACM symposium on Applied computing
A model of multimedia information retrieval
Journal of the ACM (JACM)
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
M4: a metamodel for data preprocessing
Proceedings of the 4th ACM international workshop on Data warehousing and OLAP
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Towards A New Authoring Methodology for Large-Scale Hypermedia Applications
Multimedia Tools and Applications
A Knowledge-Based Approach to Visual Information
Journal of Intelligent Information Systems
Declarative Programs with Implicit Implications
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)
Situation Calculus as Hybrid Logic: First Steps
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
A Knowledge-Based Query System for Biological Databases
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Description Logics and Their Relationships with Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
On Decidability and Complexity of Description Logics with Uniqueness Constraints
ICDT '01 Proceedings of the 8th International Conference on Database Theory
An Algorithm for Determining Related Constraints
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
Taxonomies and Derivation Rules in Conceptual Modeling
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Declarative Specification of Z39.50 Wrappers Using Description Logics
ECDL '99 Proceedings of the Third European Conference on Research and Advanced Technology for Digital Libraries
Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Reasoning about Duplicate Elimination with Description Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Information Integration for Electronic Commerce
AMET '98 Selected Papers from the First International Workshop on Agent Mediated Electronic Trading on Agent Mediated Electronic Commerce
A Knowledge Based Paradigm for Querying Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Representing Constraint Business Rules Extracted from Legacy Systems
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
A system for principled matchmaking in an electronic marketplace
WWW '03 Proceedings of the 12th international conference on World Wide Web
Reasoning in expressive description logics
Handbook of automated reasoning
The description logic handbook
Reasoning about Uniqueness Constraints in Object Relational Databases
IEEE Transactions on Knowledge and Data Engineering
Meta-knowledge in systems design: panacea … or undelivered promise?
The Knowledge Engineering Review
Introducing dynamic behavior in amalgamated knowledge bases
Theory and Practice of Logic Programming
A Logic for SVG Documents Query and Retrieval
Multimedia Tools and Applications
Algorithms for analysing related constraint business rules
Data & Knowledge Engineering
Transparent access to multiple bioinformatics information sources
IBM Systems Journal - Deep computing for the life sciences
Bioinformatics integration and agent technology
Journal of Biomedical Informatics
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
A New Complicated-Knowledge Representation Approach Based on Knowledge Meshes
IEEE Transactions on Knowledge and Data Engineering
Enterprise modeling and Data Warehousing in TELECOM ITALIA
Information Systems
Reasoning on UML class diagrams
Artificial Intelligence
A static aspect language for checking design rules
Proceedings of the 6th international conference on Aspect-oriented software development
The auction manager: market middleware for large-scale electronic commerce
WOEC'98 Proceedings of the 3rd conference on USENIX Workshop on Electronic Commerce - Volume 3
A System for Principled Matchmaking in an Electronic Marketplace
International Journal of Electronic Commerce
If objects could talk: a novel resource discovery approach for pervasive environments
International Journal of Internet Protocol Technology
Semantic-enhanced Bluetooth discovery protocol for m-commerce applications
International Journal of Web and Grid Services
Knowledge sharing in virtual enterprises via an ontology-based access control approach
Computers in Industry
Evolution styles to the rescue of architectural evolution knowledge
Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge
Semantic based collaborative P2P in ubiquitous computing
Web Intelligence and Agent Systems
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
OntoDB2: support of multiple ontology models within ontology based database
Ph.D. '08 Proceedings of the 2008 EDBT Ph.D. workshop
A Nonmonotonic Approach to Semantic Matchmaking and Request Refinement in E-Marketplaces
International Journal of Electronic Commerce
A Semantic-Based Navigation Approach for Information Retrieval in the Semantic Web
Proceedings of the 2007 conference on Emerging Artificial Intelligence Applications in Computer Engineering: Real Word AI Systems with Applications in eHealth, HCI, Information Retrieval and Pervasive Technologies
What's in an attribute? consequences for the least common subsumer
Journal of Artificial Intelligence Research
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
Extensible knowledge representation: the case of description reasoners
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
Explaining subsumption in description logics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Identification constraints and functional dependencies in description logics
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning on UML class diagrams
Artificial Intelligence
Electronic Commerce Research and Applications
Enterprise modeling and Data Warehousing in Telecom Italia
Information Systems
On formalization of object model by unifying intensional and extensional representations
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Derivation rules in object-oriented conceptual modeling languages
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Null values in relational databases and sure information answers
Proceedings of the 2nd international conference on Semantics in databases
Rule definition for managing ontology development
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Representing and reasoning on fuzzy UML models: A description logic approach
Expert Systems with Applications: An International Journal
Using ontologies to facilitate post-processing of association rules by domain experts
Information Sciences: an International Journal
Formal semantics-preserving translation from fuzzy ER model to fuzzy OWL DL ontology
Web Intelligence and Agent Systems
Full satisfiability of UML class diagrams
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Complementarity in competence management: framework and implementation
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Extracting knowledge from fuzzy relational databases with description logic
Integrated Computer-Aided Engineering
Ontological foundation for protein data models
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
SWDB'04 Proceedings of the Second international conference on Semantic Web and Databases
A context-aware preference model for database querying in an ambient intelligent environment
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Explanation services and request refinement in user friendly semantic-enabled b2c e-marketplaces
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
Reasoning of fuzzy relational databases with fuzzy ontologies
International Journal of Intelligent Systems
AIM: a personal view of where I have been and where we might be going
Artificial Intelligence in Medicine
Modal description logics: modalizing roles
Fundamenta Informaticae
Ontologies versus relational databases: are they so different? A comparison
Artificial Intelligence Review
Construction of ontologies from object-oriented database models
Integrated Computer-Aided Engineering
Representation and reasoning of fuzzy ER models with description logic DLR
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
| Hi-index | 0.02 |
Description logics and reasoners, which are descendants of the KL-ONE language, have been studied in depth in Artificial Intelligence. After a brief introduction, we survey in this paper their application to the problems of information management, using the framework of an abstract information server equipped with several operations驴each involving one or more languages. Specifically, we indicate how one can achieve enhanced access to data and knowledge by using descriptions in languages for schema design and integration, queries, answers, updates, rules, and constraints.