Abstract
The Cyc KB has a rich pre-existing ontology for representing common sense knowledge. To clarify and enforce its terms’ semantics and to improve inferential efficiency, the Cyc ontology contains substantial meta-level knowledge that provides definitional information about its terms, such as a type hierarchy. This paper introduces a method for converting that meta-knowledge into biases for ILP systems. The process has three stages. First, a “focal position” for the target predicate is selected, based on the induction goal. Second, the system determines type compatibility or conflicts among predicate argument positions, and creates a compact, efficient representation that allows for syntactic processing. Finally, mode declarations are generated, taking advantage of information generated during the first and second phases.
Keywords
- Resource Description Framework
- Inductive Logic Programming
- Type Constraint
- Argument Position
- Type Hierarchy
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Distribution Statement A: Approved for public release; distribution is unlimited.
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
Tausend, B.: Biases and their Effects in Inductive Logic Programming. In: Bergadano, F., De Raedt, L. (eds.) ECML 1994. LNCS, vol. 784, pp. 431–434. Springer, Heidelberg (1994)
Tausend, B.: Representing Biases for Inductive Logic Programming. In: Bergadano, F., De Raedt, L. (eds.) ECML 1994. LNCS, vol. 784, pp. 427–430. Springer, Heidelberg (1994)
Nedellec, C., Rouveirol, C., Ade, H., Bergadano, F., Tausend, B.: Declarative Bias in ILP. In: De Raedt, L. (ed.) Advances in Inductive Logic Programming, pp. 82–103. IOS Press, Amsterdam (1996)
McCreath, E.: Induction in First Order Logic from Noisy Training Examples and Fixed Example Set Sizes. PhD Thesis, University Of New South Wales (1999)
McCreath, E., Sharma, A.: Extraction of Meta-Knowledge to Restrict the Hypothesis Space for ILP Systems. In: Yao, X. (ed.) Eighth Australian Joint Conference on Artificial Intelligence, pp. 75–82. World Scientific Publishing, Singapore (1995)
Di Mauro, N., Esposito, F., Ferilli, S., Basile, T.M.A.: An Algorithm for Incremental Mode Induction. In: Orchard, B., Yang, C., Ali, M. (eds.) IEA/AIE 2004. LNCS (LNAI), vol. 3029, pp. 512–522. Springer, Heidelberg (2004)
Lenat, D., Guha, R.: Building Large Knowledge Based Systems: Representations and Inference in the Cyc Project. Addison-Wesley, Reading (1989)
Muggleton, S.H.: Inverse Entailment and Progol. New Generation Computing 13, 245–286 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cabral, J., Kahlert, R.C., Matuszek, C., Witbrock, M., Summers, B. (2005). Converting Semantic Meta-knowledge into Inductive Bias. In: Kramer, S., Pfahringer, B. (eds) Inductive Logic Programming. ILP 2005. Lecture Notes in Computer Science(), vol 3625. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11536314_3
Download citation
DOI: https://doi.org/10.1007/11536314_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28177-1
Online ISBN: 978-3-540-31851-4
eBook Packages: Computer ScienceComputer Science (R0)