Abstract
Knowledge sharing is difficult. One reason is that it is hard to decide how to describe a domain in a way which suits everyone interested in the knowledge. Tackling this problem has been a central theme of the surge in ontological research over recent years. Unfortunately, getting an agreed ontology is not the end of our problems, since the way we represent knowledge is intimately linked to the inferences we expect to perform with it. We introduce three inference systems and discuss the problems of having knowledge passing through them, which are representative of complex problems we may need to solve for knowledge sharing.
Work sponsored by the Consortium British Council/CAPES (Brazil), Grant no. 070/98, and the Science Foundation of the State of Ceará (FUNCAP), Brazil.
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.
Similar content being viewed by others
References
Agusti, J., Esteva, F., Garcia, P., Godo, L., Lopez de Mantaras, R., Sierra, C.: Local Multi-Valued Logics in Modular Expert Systems. Journal of Experimental & Theoretical Artificial Intelligence 6(3), 303–321 (1994)
Agusti, J., Esteva, F., Garcia, P., Godo, L., Sierra, C.: Combining Multiple-valued Logics in Modular Expert Systems. In: VII Conf. on Uncertainty in A. I. (1991)
Andrews, J., Dahl, V., Popowich, F.: Characterizing Logic Grammars: a Sub-structural Logic Approach. Journal of Logic Programming 26, 235–283 (1996)
Bonner, A.J., Kifer, M.: Transaction Logic Programming. Technical Report CSRI 270, University of Toronto (1992)
Correa da Silva, F.S.: Automated Reasoning About an Uncertain Domain. Technical report, Edinburgh Univ., Dept. of A. I. (1991)
Correa da Silva, F.S., Carbogim, D.V.: A System for Reasoning with Fuzzy Predicates. Technical Report RT-MAC-9413, IME, Univ. of Sao Paulo (1994)
Correa da Silva, F.S., Robertson, D.S., Hesketh, J.: Automated Reasoning with Uncertainties. In: Masuch, M., Polos, L. (eds.) Logic at Work 1992. LNCS(LNAI), vol. 808. Springer, Heidelberg (1994)
Correa da Silva, F.S., Vasconcelos, W.W., Robertson, D.S.: Cooperation Between Knowledge-Based Systems. In: Proc. IV World Congress on Expert Systems, Mexico City, Mexico, pp. 819–825 (1998)
J. Y. Girard. Linear Logic. Theoretical Computer Science, 50:1-102, 1987.
Gray, P.p.i.: KRAFT - Knowledge Reuse and Fusion/Transformation, http://www.csd.abdn.ac.uk/apreece/Research/KRAFT/KRAFTinfo.html
Guarino, N. (ed.): Formal Ontology in Information Systems. IOS Press, Amsterdam (1998)
Lee, R.C.T.: Fuzzy Logic and the Resolution Principle. Journal of the ACM 19, 109–119 (1972)
Neches, R., Gunning, D.: The Knowledge Sharing Effort, http://www-ksl.stanford.edu/knowledge-sharing/papers/kse-overview.html
Reyes, J.A., Esteva, F., Puyol-Gruart, J.: Defining and Combining Multiple-Valued Logics for Knowl. Based Syst. In: Proc. 1st Catalan A. I. Congr. (1998)
Santos, M.V.T., Santos, P.E., Correa da Silva, F.S., Rillo, M.: Actions as PROLOG Programs. In: IEEE Proc. of Joint Symposia on Intell. & Systems (1996)
Shapiro, E.Y.: Logic Programming with Uncertainties – aTool for Implementing Rule-based Systems. In: Proc. 8th IJCAI (1983)
Subrahmanian, V.S.p. d.: Hermes - a Heterogeneous Reasoning and Mediator System, http://www.cs.umd.edu/projects/hermes/index.html
Uschold, M., Gruninger, M.: Ontologies: Principles, Methods and Applications. Knowledge Engineering Review 11(2), 93–136 (1996)
Zhang, C., Orlowska, M.: Homomorphic Transformation Among Inexact Reasoning Models in Distributed Expert Systems. Technical Report 135, Dept. of Computer Science, University of Queensland (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Corrêa da Silva, F.S., Weber Vasconcelos, W., Agustí, J., Robertson, D., de Melo, A.C.V. (1999). Why Ontologies Are Not Enough for Knowledge Sharing. In: Imam, I., Kodratoff, Y., El-Dessouki, A., Ali, M. (eds) Multiple Approaches to Intelligent Systems. IEA/AIE 1999. Lecture Notes in Computer Science(), vol 1611. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48765-4_56
Download citation
DOI: https://doi.org/10.1007/978-3-540-48765-4_56
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66076-7
Online ISBN: 978-3-540-48765-4
eBook Packages: Springer Book Archive