Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services

Experimental classification facilities for Smalltalk

OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications

Knowledge compilation and theory approximation

Journal of the ACM (JACM)

The use of description logics in KBSE systems

ACM Transactions on Software Engineering and Methodology (TOSEM)

Disjunctive datalog

ACM Transactions on Database Systems (TODS)

Learning to reason

Journal of the ACM (JACM)

Efficient reasoning

ACM Computing Surveys (CSUR)

Anytime clausal reasoning

Annals of Mathematics and Artificial Intelligence

Efficient Specification-Based Component Retrieval

Automated Software Engineering

Description Logics in Data Management

IEEE Transactions on Knowledge and Data Engineering

Principles for Organizing Semantic Relations in Large Knowledge Bases

IEEE Transactions on Knowledge and Data Engineering

Explicitly Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning

OilEd: A Reason-able Ontology Editor for the Semantic Web

KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence

A Description Logics-Like Model for a Knowledge and Data Management System

DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications

Reasoning in expressive description logics

Handbook of automated reasoning

Bibliography

The description logic handbook

Modularisation of domain ontologies implemented in description logics and related formalisms including OWL

Proceedings of the 2nd international conference on Knowledge capture

On inference-based procedures for lexical disambiguation

COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 2

An optimization for query answering on ALC database

ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49

Planning with Action Abstraction and Plan Decomposition Hierarchies

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology

Ontologies and the semantic web

Communications of the ACM - Surviving the data deluge

Semantic approach for modelling an assistive environment using description logic

Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services

Reasoning with spatial plans on the semantic web

Proceedings of the 12th International Conference on Artificial Intelligence and Law

"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality

Conceptual Modeling: Foundations and Applications

A semantics and complete algorithm for subsumption in the classic description logic

Journal of Artificial Intelligence Research

Provably bounded-optimal agents

Journal of Artificial Intelligence Research

Extensible knowledge representation: the case of description reasoners

Journal of Artificial Intelligence Research

A class library implementation of a principled open architecture knowledge representation server with plug-in data types

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

A terminological logic with defaults: a definition and an application

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

The complexity of theory revision

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

The complexity of theory revision

Artificial Intelligence

Ontology RepresentationDesign Patterns and Ontologies that Make Sense

Proceedings of the 2009 conference on Ontology Representation: Design Patterns and Ontologies that Make Sense

Semantic Matching Framework for handicap situation detection in smart environments

Journal of Ambient Intelligence and Smart Environments

Part-whole reasoning in an object-centered framework

Part-whole reasoning in an object-centered framework

Normative reasoning with geo information

Proceedings of the 1st International Conference and Exhibition on Computing for Geospatial Research & Application

Knowledge compilation using horn approximations

AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2

Ontologies in amine platform: structures and processes

ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application

Intermediate depth representations

Artificial Intelligence in Medicine

AIM: a personal view of where I have been and where we might be going

Artificial Intelligence in Medicine

Semantic Matching Framework for handicap situation detection in smart environments

Journal of Ambient Intelligence and Smart Environments