Abstract
Description Logic are well appropriate for knowledge representation. In such a case, intensional knowledge of a given domain is represented in the form of a terminology (TBox) which declares general properties of concepts relevant to the domain. The terminological axioms which are used to describe the objects of the considered domain are usually manually entered. Such an operation being tiresome, Formal Concept Analysis (FCA) has been already used for the automatic learning of terminological axioms from object descriptions (i.e. from concept instances). However, in all existing approaches, induced terminological axioms are exclusively restricted to the conjunctive form, that is, the existential constructor (∃r.C) is not allowed. In this paper, we propose a more general approach that allows to learn existentially quantified general concept inclusion (GCIs) axioms from object descriptions given as assertions in the \(\mathcal{EL}\) language.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
