Deliverable3023
Published: 2009
Februar
Type: NeOn Project Deliverable
Nummer: D1.2.4Der Datenwert „D“ kann einem Attribut des Datentyps Zahl nicht zugeordnet werden sondern bspw. der Datenwert „1“.
Institution: Institut AIFB, KIT
Erscheinungsort / Ort: Karlsruhe
Kurzfassung
In this deliverable, we discuss the problem of reasoning with inconsistent networked ontologies.
We first extend the semantics of description logic ALC with a four-valued semantics. This will
allow us to reasoning with inconsistent ontologies non-trivially. We implement an algorithm for
reasoning with the four-valued semantics and provide a prototype. We then propose a bilatticebased semantics to generalize the four-valued semantics. We extend OWL2 to bilattice. The
bilattice-based semantics can be used to reasoning with trust information and deal with inconsistency. The bilattice-based semantics is applied to a single ontology which is integrated by
networked ontologies. Therefore, we propose another approach for reasoning with distributed
ontologies which is based on concept forgetting.
Weitere Informationen unter: Link