Patterns for Interfacing between Logic Programs and Multiple Ontologies

Luis Cruz-Filipe, Isabel Nunes, Graça Gaspar

2013

Abstract

Originally proposed in the mid-90s, design patterns for software development played a key role in object-oriented programming not only in increasing software quality, but also by giving a better understanding of the power and limitations of this paradigm. Since then, several authors have endorsed a similar task for other programming paradigms, in the hope of achieving similar benefits. In this paper we discuss design patterns for hybrid semantic web systems combining several description logic knowledge bases via a logic program. We introduce eight design patterns, grouped in three categories: three elementary patterns, which are the basic building blocks; four derived patterns, built from these; and a more complex pattern, the study of which can shed some insight in future syntactic developments of the underlying framework. These patterns are extensively applied in a natural way in a large-scale example that illustrates how their usage greatly simplifies some programming tasks, at the level of both development and extension. We work in a generalization of dl-programs that supports several (possibly different) description logics, but the results presented are easily adaptable to other existing frameworks such as multi-context systems.

Paper Citation

in Harvard Style

Cruz-Filipe L., Nunes I. and Gaspar G. (2013). Patterns for Interfacing between Logic Programs and Multiple Ontologies . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013) ISBN 978-989-8565-81-5, pages 58-69. DOI: 10.5220/0004544100580069

in Bibtex Style

@conference{keod13,
author={Luis Cruz-Filipe and Isabel Nunes and Graça Gaspar},
title={Patterns for Interfacing between Logic Programs and Multiple Ontologies},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013)},
year={2013},
pages={58-69},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004544100580069},
isbn={978-989-8565-81-5},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2013)
TI - Patterns for Interfacing between Logic Programs and Multiple Ontologies
SN - 978-989-8565-81-5
AU - Cruz-Filipe L.
AU - Nunes I.
AU - Gaspar G.
PY - 2013
SP - 58
EP - 69
DO - 10.5220/0004544100580069