Comparison between Defeasible Description Logics and neo-Topology to reason on ontologies with exceptions

Abstract : This article compares Defeasible Description Logics (DDL) and Topological Approach to reason on Ontologies with exceptions. DDL is integration between Description Logics and Defeasible Logics to deal with monotonic and non-monotonic parts of the knowledge bases respectively. Topological approach tries to reason on inconsistent knowledge bases using the conventional topological operators e.g., interior, exterior, border and closure. We develop neo-Topology based on topological operators and we make major development and improvements of current Topological approach by properly introducing the ``Thickness Border'' with strong inference rules. We proof the validity of the inference rules using set operations. We demonstrate both approaches with appropriate example. We show the advantages and disadvantages of both approaches.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01217832
Contributor : Lip6 Publications <>
Submitted on : Tuesday, October 20, 2015 - 10:35:37 AM
Last modification on : Thursday, March 21, 2019 - 2:32:23 PM

Identifiers

  • HAL Id : hal-01217832, version 1

Citation

Christophe Jouis, Mohammed Yasin Rahman, Jean-Gabriel Ganascia. Comparison between Defeasible Description Logics and neo-Topology to reason on ontologies with exceptions. The Twenty-Sixth International FLAIRS Conference, May 2013, St. Pete Beach, Florida, United States. pp.309-314. ⟨hal-01217832⟩

Share

Metrics

Record views

145