Comparison between Defeasible Description Logics and neo-Topology to reason on ontologies with exceptions - Archive ouverte HAL
Communication Dans Un Congrès Année : 2013

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-01217832 , version 1 (20-10-2015)

Identifiants

  • HAL Id : hal-01217832 , version 1

Citer

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⟩
105 Consultations
0 Téléchargements

Partager

More