SCL: A Logic Standard for Semantic Integration

Semantic Integration, CEUR Workshop Proceedings, Vol. 82 (2003) (2003)
  Copy   BIBTEX


The Knowledge Interchange Format (KIF) [2] is an ASCII- based framework for use in exchanging of declarative knowledge among disparate computer systems. KIF has been widely used in the fields of knowledge engineering and artificial intelligence. Due to its growing importance, there arose a renewed push to make KIF an offi- cial international standard. A central motivation behind KIF standardization is the wide variation in quality, style, and content — of logic-based frameworks being used for knowledge representation. Variations of all three types, of course, hinder the possibility of semantic integration. A well-crafted logic standard for the representation of declarative knowledge would impose some greatly needed syntactic and semantic uniformity on the current somewhat chaotic situation, uniformity that would in turn greatly enhance the capacity for semantic integration. For all its potential advantages, however, the idea of a logic standard is problematic for at least two reasons.



    Upload a copy of this work     Papers currently archived: 86,507

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Basic semantic integration.Christopher Menzel - 2004 - Semantic Interoperability and Integration, Proceedings of Dagstuhl Seminar 04391.
Agency and the Semantic Web.Christopher Walton - 2006 - Oxford, England: Oxford University Press.
Designing visual languages for description logics.Brian R. Gaines - 2009 - Journal of Logic, Language and Information 18 (2):217-250.
Toward a Semantic Approach in Epistemology.Arnold Cusmariu - 2012 - Logos and Episteme (4):531-543.
Deontic interpreted systems.Alessio Lomuscio & Marek Sergot - 2003 - Studia Logica 75 (1):63 - 92.
Models and theories I: The semantic view revisited.Chuang Liu - 1997 - International Studies in the Philosophy of Science 11 (2):147 – 164.
An ontology based knowledge experiential learning framework.Khalid Samara - 2007 - Journal of Knowledge Management Practice 8 (3).
Logical knowledge and Gettier cases.Corine Besson - 2009 - Philosophical Quarterly 59 (234):1-19.


Added to PP

48 (#279,355)

6 months
4 (#246,748)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christopher Menzel
Texas A&M University

References found in this work

No references found.

Add more references