ON THE INTEGRATION OF KNOWLEDGE IN A PROPOSITIONAL LOGICAL LAYER

Sebastian Bab

2011

Abstract

In general knowledge is complex which means that it is not an isolated entity, but a phenomenon which is coming (or can be derived) from different sources of knowledge. The position of the present paper is that it can be highly beneficial to study the integration of knowledge coming from different knowledge sources as an explicit propositional logical layer in knowledge engineering. Here the term of proposition is to be understood in the understanding of Frege as the inherent sense of a formal expression. We discuss a certain family of propositional logics – the so-called ƐT-logics – which allow for an explicit interpretation of formulas as propositions. We argue that the family of ƐT-logics-logics and their models offer a very expressive logical setting which is able to realize a certain scenario of the integration of knowledge from different knowledge sources.

Paper Citation

in Harvard Style

Bab S. (2011). ON THE INTEGRATION OF KNOWLEDGE IN A PROPOSITIONAL LOGICAL LAYER . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011) ISBN 978-989-8425-80-5, pages 299-303. DOI: 10.5220/0003688902990303

in Bibtex Style

@conference{keod11,
author={Sebastian Bab},
title={ON THE INTEGRATION OF KNOWLEDGE IN A PROPOSITIONAL LOGICAL LAYER},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011)},
year={2011},
pages={299-303},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003688902990303},
isbn={978-989-8425-80-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2011)
TI - ON THE INTEGRATION OF KNOWLEDGE IN A PROPOSITIONAL LOGICAL LAYER
SN - 978-989-8425-80-5
AU - Bab S.
PY - 2011
SP - 299
EP - 303
DO - 10.5220/0003688902990303