Example image of eyePlorer eyePlorer map for 'Description logic': Knowledge representation First-order logic Logic Frame language Semantic network Decision problem Propositional calculus Ontology (information science) Semantic Web Web Ontology Language World Wide Web Consortium KL-ONE KAON LOOM (ontology) Binary relation Predicate (mathematical logic) Recursion Syntax (logic) Unary operation Semantics Intersection (set theory) Abox Tbox Concept Ground expression Relation Axiom Unary Knowledge base Closed world assumption Unique name assumption Open world assumption Fuzzy logic Intelligent system Expressivity SNOMED CT Semantic reasoner Method of analytic tableaux Datalog Protégé (software) Deborah McGuinness Distinguo Vivification Ian Horrocks Ontology Inference Layer Sanctioned specialisation Semantic parameterization Web Services Modeling Language Multimedia Web Ontology Language Ontology language