Description logics (DL) are a family of formal knowledge representation languages. They are more expressive than propositional logic but have more efficient decision problems than first-order predicate logic.
Description Logics
The principal inference tasks are subsumption :: checking if one category is a subset of another based on their definitions- and classification :: checking if an object belongs to a category.
Description logic
Logic-based knowledge representation formalism for modelling a domain in terms of concepts (classes), roles (properties and relations) and individuals (instances of classes).
eHealth ...
Description Logics. The Intelligent Information Systems Laboratory, Department of Computer and Information Science. Linkoping University.
17.5 Description Logics
17.6 Embodied and Situated Approaches to Meaning
17.7 Summary ...
^ a b Representing categories and relations: Semantic networks, description logics, inheritance, including frames and scripts): Russell & Norvig 2003, pp. 349-354, Poole, Mackworth & Goebel 1998, pp.
DATR Lexical knowledge representation language
Loom Project Home Page
Description Logic in Practice: A CLASSIC Application
Tools from Java-Channel.org
Citations from CiteSeer.org
The Rule Markup Initiative ...
Representation and Reasoning: ontologies, foundations of knowledge representation and reasoning, representing and reasoning about objects, relations, events, actions, time, and space; predicate logic, situation calculus, description logics, ...
 See also: Artificial intelligence, Knowledge, Inference, Ontology, Classification
  
|
RSS
