244 citations · 366 across the 25 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.AI2015
Relaxation-based revision operators in description logics
Marc Aiguier, Jamal Atif, Isabelle Bloch +1
As ontologies and description logics (DLs) reach out to a broader audience, several reasoning services are developed in this context. Belief revision is one of them, of prime impor…
cs.LO2015
A finite basis theorem for the description logic
Marc Aiguier, Jamal Atif, Isabelle Bloch +1
The main result of this paper is to prove the existence of a finite basis in the description logic . We show that the set of General Concept Inclusions (GCIs) holding i…
cs.AI2015
Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics
Marc Aiguier, Jamal Atif, Isabelle Bloch +1
Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently…