Graduate studies at Western
Semantic Integration, CEUR Workshop Proceedings, Vol. 82 (2003) (2003)
|Abstract||The Knowledge Interchange Format (KIF)  is an ASCII- based framework for use in exchanging of declarative knowledge among disparate computer systems. KIF has been widely used in the ﬁelds of knowledge engineering and artiﬁcial intelligence. Due to its growing importance, there arose a renewed push to make KIF an ofﬁ- 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.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Christopher Menzel, Basic Semantic Integration. Semantic Interoperability and Integration, Proceedings of Dagstuhl Seminar 04391.
José Saias & Paulo Quaresma (2004). A Methodology to Create Legal Ontologies in a Logic Programming Based Web Information Retrieval System. Artificial Intelligence and Law 12 (4):397-417.
Ladislav Tondl (2007). Rational Actions and the Integration of Knowledge. Journal for General Philosophy of Science 38 (1):91 - 110.
Jennifer Hornsby & Jason Stanley (2005). I-Paper by Jennifer Hornsby. Semantic Knowledge and Practical Knowledge. Aristotelian Society Supplementary Volume 79 (1):107–130.
Frixione Marcello & Lieto Antonio (2012). Representing Concepts in Formal Ontologies: Compositionality Vs. Typicality Effects. Logic and Logical Philosophy 21 (4):391-414.
Christopher Menzel (2011). Knowledge Representation, the World Wide Web, and the Evolution of Logic. Synthese 182 (2):269-295.
Brian R. Gaines (2009). Designing Visual Languages for Description Logics. Journal of Logic, Language and Information 18 (2):217-250.
Arnold Cusmariu (2012). Toward a Semantic Approach in Epistemology. Logos and Episteme (4):531-543.
Alessio Lomuscio & Marek Sergot (2003). Deontic Interpreted Systems. Studia Logica 75 (1):63 - 92.
Chuang Liu (1997). Models and Theories I: The Semantic View Revisited. International Studies in the Philosophy of Science 11 (2):147 – 164.
Corine Besson (2009). Logical Knowledge and Gettier Cases. Philosophical Quarterly 59 (234):1-19.
Graham Greenleaf, Andrew Mowbray & Peter Dijk (1995). Representing and Using Legal Knowledge in Integrated Decision Support Systems: Datalex Workstations. [REVIEW] Artificial Intelligence and Law 3 (1-2):97-142.
Added to index2010-12-22
Total downloads8 ( #131,816 of 739,344 )
Recent downloads (6 months)1 ( #61,538 of 739,344 )
How can I increase my downloads?