Concept
Description logic
Overview
family of formal knowledge representation languages
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Method of analytic tableaux
- First-order logic
- Artificial intelligence
- Negation
- Knowledge representation and reasoning
- Paradigm
- Logical conjunction
- Propositional logic
- Domain of discourse
- Intersection (set theory)
- Set (mathematics)
- Predicate (logic)
- Semantics
- University of Oxford
- Temporal logic
- Modal logic
- Union (set theory)
- Fuzzy logic
- Complement (set theory)
- Syntax (logic)
- Concept
- Linear temporal logic
- Logical disjunction
- Kripke semantics
Place in the tradition
Part of Outline of philosophy.
Narrower topics:
- Complement (set theory)
- Empty set
- Intersection (set theory)
- Knowledge representation and reasoning
- Linear temporal logic
- Logical conjunction
- Method of analytic tableaux
- Predicate (logic)
- Syntax (logic)
- Union (set theory)
- Semantic network
- Dynamic logic (modal logic)
- Transitive closure
- Expressive power (computer science)
- KL-ONE
- LOOM (ontology)
- Ronald J. Brachman
- Abox
- KAON
- Two-variable logic
- Datalog
- Fragment (logic)
- Frame (artificial intelligence)
- Guarded logic