Abstract
At the meeting point between machine learning and description logics, we investigate on the induction of structural knowledge from metadata. In the proposed methodology, a basic taxonomy of the primitive concepts and roles is preliminarily extracted from the assertions contained in a knowledge base. Then, in order to deal with the inherent algorithmic complexity that affects induction in structured domains, the ontology is constructed incrementally by refining successive versions of the target concept definitions, expressed in richer languages of the Semantic Web, endowed with well-founded reasoning capabilities.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Baader, F., Calvanese, D., McGuinnes, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
Baader, F., Küsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In: Dean, T. (ed.) Proceedings of the 16th International Joint Conference on Artificial Intelligence, pp. 96–101. Morgan Kaufmann, San Francisco (1999)
Badea, L., Nienhuys-Cheng, S.-H.: A refinement operator for description logics. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol. 1866, pp. 40–59. Springer, Heidelberg (2000)
Berners-Lee, T.: Semantic Web road map. Technical report, W3C (1998), http://www.w3.org/DesignIssues/Semantic.html
DAML+OIL. DAML+OIL ontology markup language reference (2001), http://www.daml.org/2001/03/reference
DC. Dublin Core language reference (2003), http://www.purl.org/dc
Donini, F., Lenzerini, M., Nardi, D., Nutt, W.: Tractable concept languages. In: Proceedings of International Joint Conference on Artificial Intelligence, pp. 458–463 (1991)
Donini, F., Lenzerini, M., Nardi, D., Nutt, W.: An epistemic operator for description logics. Artificial Intelligence 100(1-2), 225–274 (1998)
Donini, F., Lenzerini, M., Nardi, D., Schaerf, M.: AL-log: Integrating Datalog and description logics. Journal of Intelligent Information Systems 10, 227–252 (1998)
Esposito, F., Fanizzi, N., Ferilli, S., Semeraro, G.: A generalization model based on OI-implication for ideal theory refinement. Fundamenta Informaticæ 47, 15–33 (2001)
Esposito, F., Fanizzi, N., Ferilli, S., Semeraro, G.: OI-implication: Soundness and refutation completeness. In: Nebel, B. (ed.) Proceedings of the 17th International Joint Conference on Artificial Intelligence, Seattle, WA, pp. 847–852 (2001)
Haussler, D.: Learning conjuntive concepts in structural domains. Machine Learning 4, 7–40 (1989)
Kietz, J.-U.: Learnability of description logic programs. In: Matwin, S., Sammut, C. (eds.) ILP 2002. LNCS (LNAI), vol. 2583, pp. 117–132. Springer, Heidelberg (2002)
Kietz, J.-U., Morik, K.: A polynomial approach to the constructive induction of structural knowledge. Machine Learning 14(2), 193–218 (1994)
Lavrač, N., Flach, P., Zupan, B.: Rule evaluation measures: A unifying view. In: Džeroski, S., Flach, P.A. (eds.) ILP 1999. LNCS (LNAI), vol. 1634, pp. 174–185. Springer, Heidelberg (1999)
Lisi, F., Fanizzi, N., Ferilli, S.: Object identity as search bias for pattern spaces. In: Harmelen, F.V. (ed.) Proceedings of the 15th European Conference on Artificial Intelligence, Lyon, pp. 375–379. IOS Press, Amsterdam (2002)
Nienhuys-Cheng, S., de Wolf, R.: Foundations of Inductive Logic Programming. Lecture Notes in Computer Science(LNAI), vol. 1228. Springer, Heidelberg (1997)
Nienhuys-Cheng, S., Laer, W.V., Ramon, J., Raedt, L.D.: Generalizing refinement operators to learn prenex conjunctive normal forms. In: Proceedings of the International Conference on Inductive Logic Programming. LNCS (LNAI), vol. 1631, pp. 245–256. Springer, Heidelberg (1999)
OWL. Web Ontology Language Reference Version 1.0. Technical report, W3C (2003), http://www.w3.org/TR/owl-ref
RDF. RDF Model and Syntax Specification. Technical report, W3C (1999), http://www.w3.org/TR/REC-rdf-syntax
RDF-Schema. RDF Vocabulary Description Language 1.0: RDF Schema. Technical report, W3C (2003), http://www.w3c.org/TR/rdf-schema
Reiter, R.: Equality and domain closure in first order databases. Journal of ACM 27, 235–249 (1980)
Rouveirol, C., Ventos, V.: Towards learning in CARIN-ALN. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol. 1866, pp. 191–208. Springer, Heidelberg (2000)
Stahl, I.: Predicate invention in Inductive Logic Programming. In: Raedt, L.D. (ed.) Advances in Inductive Logic Programming, pp. 34–47. IOS Press, Amsterdam (1996)
Thompson, K., Langley, P.: Concept formation in structured domains. In: Fisher, D., Pazzani, M., Langley, P. (eds.) Concept Formation: Knowledge and Experience in Unsupervised Learning. Morgan Kaufmann, San Francisco (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fanizzi, N., Esposito, F., Ferilli, S., Semeraro, G. (2003). A Methodology for the Induction of Ontological Knowledge from Semantic Annotations. In: Cappelli, A., Turini, F. (eds) AI*IA 2003: Advances in Artificial Intelligence. AI*IA 2003. Lecture Notes in Computer Science(), vol 2829. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39853-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-39853-0_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20119-9
Online ISBN: 978-3-540-39853-0
eBook Packages: Springer Book Archive