Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach.

Yue Ma Zuoquan Lin Zhangang Lin

Published in: EDBT Workshops (2006)

Keyphrases

owl dl ontology
owl dl ontologies
formal semantics
er model
entity relationship
dl lite
ontology languages
description logics
owl dl
software engineering
semantic web
first order logic
reasoning problems
logic programming
database
knowledge representation
special case