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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Ganter, F., Sattler, U., Sertkaya, B.: Completing description logic knowledge bases using formal concept analysis. LTCS-Report LTCS-06-02, Chair for Automata Theory, Inst. for Theoretical Computer Science, TU Dresden, Germany, (2006)
Baader, F.: Computing a Minimal Representation of the Subsumption Lattice of all conjunctions of Concepts Defined in a Terminology. In: Ellis, G., Levinson, R.A., Fall, A., Dahl, V. (eds.) Proceedings of the 1st International KRUSE Symposium on Knowledge Retrieval, Use and Storage for Efficiency, pp. 168–178 (1995)
Baader, F., Sertkaya, B.: Applying formal concept analysis to description logics. In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol. 2961, pp. 261–286. Springer, Heidelberg (2004)
Stumme, G.: The Concept Classification of a Terminology Extended by Conjunction and Disjunction. In: Foo, N.Y., Göbel, R. (eds.) PRICAI 1996. LNCS, vol. 1114, pp. 121–131. Springer, Heidelberg (1996)
Baader, F., Molitor, R.: Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers Concept Analysis. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol. 1867, pp. 290–303. Springer, Heidelberg (2000)
Rudolph, S.: Relational exploration: Combining Description Logics and Formal Concept Analysis for knowledge specification. Ph.D. dissertation, Fakultat Mathematik und Naturwissenschaften, TU Dresden, Germany (2006)
Guigues, J.L., Duquenne, V.: Familles minimales d’implications informatives resultant d’un tableau de donnees binaires. Math. Sci. Humaines 95, 5–18 (1986)
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Application. Cambridge University Press (2003)
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin (1999)
Bazin, A., Ganacia, J.: Completing terminological Axioms with Formal Concept Analysis. In: ICFCA 2012, International Conference on Formal Concept Analysis, pp. 30–39 (2012)
Baader, F., Küsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In: Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI 1999), pp. 96–101 (1999)
Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: the making of a web ontology language. Journal of Web Semantics 1(1), 7–26 (2003)
Prediger, S.: Terminologische Merkmalslogik in der Formalen Begriffsanalyse. In: Stumme, G., Wille, R. (eds.) Begriffliche Wissensverarbeitung – Methoden und Anwendungen, pp. 99–124. Springer, Heidelberg (2000)
Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 228–248. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Ait-Yakoub, Z., Djouadi, Y. (2013). Generating GCIs Axioms from Objects Descriptions in \(\mathcal{EL}\)-Description Logics. In: Amine, A., Otmane, A., Bellatreche, L. (eds) Modeling Approaches and Algorithms for Advanced Computer Applications. Studies in Computational Intelligence, vol 488. Springer, Cham. https://doi.org/10.1007/978-3-319-00560-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-00560-7_12
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-00559-1
Online ISBN: 978-3-319-00560-7
eBook Packages: EngineeringEngineering (R0)