The design and implementation of DLOG, a Prolog-based knowledge representation system
New Generation Computing
Login: A logic programming language with built-in inheritance
Journal of Logic Programming
An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Intelligent query answering in rule based systems
Journal of Logic Programming
Defining views in the binary relationship model
Information Systems
Computational complexity of terminological reasoning in BACK
Artificial Intelligence
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Proceedings on the 1986 international workshop on Object-oriented database systems
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
PROTEUS: objectifying the DBMS user interface
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Classification as a Query Processing Technique in the CANDIDE Semantic Data Model
Proceedings of the Fifth International Conference on Data Engineering
A lattice theoretic approach to computation based on a calculus of partially ordered type structures (property inheritance, semantic nets, graph unification)
Decidable, logic-based knowledge representation
Decidable, logic-based knowledge representation
Efficient management of transitive relationships in large data and knowledge bases
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
LaSSIE—a knowledge-based software information system
ICSE '90 Proceedings of the 12th international conference on Software engineering
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
KRIS: Knowledge Representation and Inference System
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Inside the LOOM description classifier
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
The CLASSIC knowledge representation system: guiding principles and implementation rationale
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
COCS '91 Proceedings of the conference on Organizational computing systems
Learnability of description logics
COLT '92 Proceedings of the fifth annual workshop on Computational learning theory
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Representation and Presentation of Requirements Knowledge
IEEE Transactions on Software Engineering
Experimental classification facilities for Smalltalk
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Inheritance and constraint-based grammar formalisms
Computational Linguistics - Special issue on inheritance: I
Database research at AT&T Bell Laboratories
ACM SIGMOD Record
Efficient handling of multiple inheritance hierarchies
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
From “folklore” to “living design memory”
CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
Loading data into description reasoners
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Translating description logics to information server queries
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Interface support for data archeology
CIKM '93 Proceedings of the second international conference on Information and knowledge management
COLT '94 Proceedings of the seventh annual conference on Computational learning theory
Quantitative evaluation of a transaction facility for knowledge base management system
CIKM '94 Proceedings of the third international conference on Information and knowledge management
On the relationship between description logic and predicate logic queries
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Knowledge acquisition and representation techniques in scholarly communication
ACM SIGDOC Asterisk Journal of Computer Documentation
Adapting materialized views after redefinitions
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Knowledge acquisition and representation techniques in scholarly communication
SIGDOC '95 Proceedings of the 13th annual international conference on Systems documentation: emerging from chaos: solutions for the growing complexity of our jobs
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Helping users program their personal agents
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
The use of description logics in KBSE systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
The use of description logics in KBSE systems: experience report
ICSE '94 Proceedings of the 16th international conference on Software engineering
Managing semantic heterogeneity in databases: a theoretical prospective
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An Optimal Cache for a Federated Database System
Journal of Intelligent Information Systems
Embedding formal knowledge models in active documents
Communications of the ACM
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Usability issues in knowledge representation systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Adding more “DL” to IDL: towards more knowledgeable component inter-operability
Proceedings of the 21st international conference on Software engineering
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
A Collaborative Environment for Authoring Large Knowledge Bases
Journal of Intelligent Information Systems
Distributed and Parallel Databases
Emancipating instances from the tyranny of classes in information modeling
ACM Transactions on Database Systems (TODS)
Querying Documents using Content, Structure and Properties
Journal of Intelligent Information Systems
An introduction to inductive logic programming and learning language in logic
Learning language in logic
Negotiation as a mechanism for language evolution
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
The use of domain knowledge in program understanding
Annals of Software Engineering
The Objective Conception of Context and Its Logic
Minds and Machines
The software information base: a server for reuse
The VLDB Journal — The International Journal on Very Large Data Bases
A Conceptual Clustering Algorithm for Database Schema Design
IEEE Transactions on Knowledge and Data Engineering
Index Organizations for Object-Oriented Database Systems
IEEE Transactions on Knowledge and Data Engineering
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Consistency Checking in Complex Object Database Schemata with Integrity Constraints
IEEE Transactions on Knowledge and Data Engineering
Using a Description Classifier to Enhance Knowledge Representation
IEEE Expert: Intelligent Systems and Their Applications
An Industrial Strength Description Logics-Based Configurator Platform
IEEE Intelligent Systems
DAML+OIL: An Ontology Language for the Semantic Web
IEEE Intelligent Systems
Coordination Issues in Multi-agent Event Data Processing
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
IAAI '93 Proceedings of the The Fifth Conference on Innovative Applications of Artificial Intelligence
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
A Framework to Review Complex Experimental Knowledge
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
An Algorithm for Determining Related Constraints
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
Have It Your Way: Personalization of Network-Hosted Services
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
Beyond Interoperability - Tracking and Managing the Results of Computational Applications
SSDBM '97 Proceedings of the Ninth International Conference on Scientific and Statistical Database Management
Bringing Together Semantic Web and Web Services
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Integrating Vocabularies: Discovering and Representing Vocabulary Maps
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
A Language for Audiovisual Template Specification and Recognition
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Contextualization of OODB Schemas in CROME
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
Description logics for semantic query optimization in object-oriented database systems
ACM Transactions on Database Systems (TODS)
Semantic and schematic similarities between database objects: a context-based approach
The VLDB Journal — The International Journal on Very Large Data Bases
Semantic refinement and error correction in large terminological knowledge bases
Data & Knowledge Engineering
A system for principled matchmaking in an electronic marketplace
WWW '03 Proceedings of the 12th international conference on World Wide Web
The architecture of an agent building shell
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Dipe-R: a knowledge representation language
Data & Knowledge Engineering
The description logic handbook
Semantic matchmaking in a P-2-P electronic marketplace
Proceedings of the 2003 ACM symposium on Applied computing
Knowledge representation for information integration
Information Systems - Special issue on web data integration
Conceptual modelling for configuration: A description logic-based approach
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Agent orientation in software engineering
The Knowledge Engineering Review
Inclusion, disjointness and choice: the logic of linguistic classification
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
Elaboration tolerance through object-orientation
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Encoding multiple inheritance hierarchies for lattice operations
Data & Knowledge Engineering
Proceedings of the 35th conference on Winter simulation: driving innovation
Inheritance processing and conflicts in structural generalization hierarchies
ACM Computing Surveys (CSUR)
Building agents to serve customers
AI Magazine
Generating referring quantified expressions
INLG '00 Proceedings of the first international conference on Natural language generation - Volume 14
Modeling dialogue with mixed initiative in design space exploration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing - Special Issue: Design Spaces: The Explicit Representation of Spaces of Alternatives
Imprecise RDQL: towards generic retrieval in ontologies using similarity joins
Proceedings of the 2006 ACM symposium on Applied computing
Data integration: the teenage years
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
A knowledge-based approach for selecting information sources
Theory and Practice of Logic Programming
Managing ontologies: a comparative study of ontology servers
ADC '07 Proceedings of the eighteenth conference on Australasian database - Volume 63
A System for Principled Matchmaking in an Electronic Marketplace
International Journal of Electronic Commerce
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
How knowledge representation meets software engineering (and often databases)
Automated Software Engineering
International Journal of Metadata, Semantics and Ontologies
Finding informative commonalities in concept collections
Proceedings of the 17th ACM conference on Information and knowledge management
Living design memory: framework, implementation, lessons learned
Human-Computer Interaction
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
An Indian logic-based knowledge-sharing architecture for virtual knowledge communities
International Journal of Networking and Virtual Organisations
On Automated Testing of Description Logic Reasoners
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
Designing Visual Languages for Description Logics
Journal of Logic, Language and Information
Hybrid reasoning in the CARE middleware for context awareness
International Journal of Web Engineering and Technology
Bridging the gap between OWL and relational databases
Web Semantics: Science, Services and Agents on the World Wide Web
Argument-based learning communities
Knowledge-Based Systems
Partial and Informative Common Subsumers in Description Logics
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality
Conceptual Modeling: Foundations and Applications
Conceptual Modeling: Foundations and Applications
Decidable reasoning in terminological knowledge representation systems
Journal of Artificial Intelligence Research
A semantics and complete algorithm for subsumption in the classic description logic
Journal of Artificial Intelligence Research
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
DL-lite in the light of first-order logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Semantic matchmaking as non-monotonic reasoning: a description logic approach
Journal of Artificial Intelligence Research
Extensible knowledge representation: the case of description reasoners
Journal of Artificial Intelligence Research
A knowledge-based software information system
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Vivid knowledge and tractable reasoning
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The equivalence of model-theoretic and structural subsumption in description logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Reasoning with concrete domains
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Abductive matchmaking using description logics
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A scheme for integrating concrete domains into concept languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
An interactive visual language for term subsumption languages
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Ontology RepresentationDesign Patterns and Ontologies that Make Sense
Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
On formalization of object model by unifying intensional and extensional representations
Proceedings of the 2010 conference on Information Modelling and Knowledge Bases XXI
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
The creation and evaluation of iSPARQL strategies for matchmaking
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Logic-based knowledge representation
Artificial intelligence today
PICSEL and Xyleme: two illustrative information integration agents
Intelligent information agents
Annals of Mathematics and Artificial Intelligence
Integrating rules in term subsumption knowledge representation servers
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Concept languages as query languages
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Polynomial-time learning with version spaces
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Computing least common subsumers in description logics
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Representing sequences in description logics
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Closed terminologies in description logics
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Flexible rule-based inference exploiting taxonomies
Journal of Intelligent Information Systems
Semantic web reasoners and languages
Artificial Intelligence Review
Reasoning on the semantic web for adaptive hypermedia
Journal of Web Engineering
Application and evaluation of inductive reasoning methods for the semantic web and software analysis
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
A contextual multilevel access control model
International Journal of Internet Technology and Secured Transactions
A dynamic access control model
Applied Intelligence
A survey of schema-based matching approaches
Journal on Data Semantics IV
An output-polynomial time algorithm for mining frequent closed attribute trees
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Non-destructive integration of form-based views
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Detecting difference of usage of terms as difference of structure
Cognitive Systems Research
Modal description logics: modalizing roles
Fundamenta Informaticae
Ontologies versus relational databases: are they so different? A comparison
Artificial Intelligence Review
Knowledge acquisition: Past, present and future
International Journal of Human-Computer Studies
Programming and Computing Software
Hi-index | 0.02 |
CLASSIC is a data model that encourages the description of objects not only in terms of their relations to other known objects, but in terms of a level of intensional structure as well. The CLASSIC language of structured descriptions permits i) partial descriptions of individuals, under an 'open world' assumption, ii) answers to queries either as extensional lists of values or as descriptions that necessarily hold of all possible answers, and iii) an easily extensible schema, which can be accessed uniformly with the data. One of the strengths of the approach is that the same language plays multiple roles in the processes of defining and populating the DB, as well as querying and answering.CLASSIC (for which we have a prototype main-memory implementation) can actively discover new information about objects from several sources: it can recognize new classes under which an object falls based on a description of the object, it can propagate some deductive consequences of DB updates, it has simple procedural recognizers, and it supports a limited form of forward-chaining rules to derive new conclusions about known objects.The kind of language of descriptions and queries presented here provides a new arena for the search for languages that are more expressive than conventional DBMS languages, but for which query processing is still tractable. This space of languages differs from the subsets of predicate calculus hitherto explored by deductive databases.