Login / Signup
A Unified Framework for Non-standard Reasoning Services in Description Logics.
Simona Colucci
Tommaso Di Noia
Eugenio Di Sciascio
Francesco M. Donini
Azzurra Ragone
Published in:
ECAI (2010)
Keyphrases
</>
description logics
reasoning services
ontology languages
dl lite
knowledge base
semantic web
reasoning tasks
computational properties
reasoning systems
knowledge representation
owl dl
model theoretic
reasoning problems
databases
incomplete knowledge
constraint satisfaction problems
xml documents