Journal of Automated Reasoning · 2007 · 177 citations · 20 references
ReasoningDisjunctive DatalogKnowledge RepresentationEngineeringAutomated ReasoningPropositional LogicComputational LinguisticsDescription LogicFormal MethodsFirst-order LogicDescription LogicsSemanticsSemantic WebLanguage StudiesSemantic ReasonerLogic Programming
20
Choice Reviews Online · 1995 · 1.8K citations
Knowledge Discovery In Databases, Database Design, Database Theory +8
The Description Logic Handbook: Theory, Implementation, and Applications
View · 2003 · 1.1K citations
Description Logic Programs: Combining Logic Programs with Description Logic
Benjamin N. Grosof, Ian Horrocks, Raphael Volz et al. · SSRN Electronic Journal · 2003 · 810 citations · Full text