Concepedia
Description Logics · 1999 · 55 citations · 0 references
ComputingComputer ScienceFormal MethodsKnowledge RepresentationSemanticsData ModelingDescription LogicsFirst-order LogicFormal OntologyPredicate LogicTemporal LogicDatalogDescription Logic ReasoningExpressive Description Logics