Non-standard Reasoning Services for the Verification of DAML+OIL Ontologies.

Yingjie Song Rong Chen

Published in: AIAI (2010)

Keyphrases

reasoning services
description logics
daml oil
ontology languages
owl dl
dl lite
knowledge base
semantic web
current situation
information integration
knowledge representation
database
databases
data complexity
conceptual modeling
reasoning systems
domain ontology
relational databases
decision making