Publication | Closed Access

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Natural Language ProcessingEngineeringAutomated ReasoningPropositional LogicDescription LogicTractable ReasoningDl-lite FamilyEfficient Query AnsweringDescription LogicsSemanticsKnowledge CompilationSemantic WebSemantic ReasonerLogic Programming