Towards a Functional Approach to Modular Ontologies Using Institutions
作者： Daniel Pokrywczyński , Grant Malcolm
DOI: 10.1007/S11225-012-9466-Z
关键词:
摘要: We propose a functional view of ontologies that emphasises their role in determining answers to queries, irrespective the formalism which they are written. A notion framework is introduced captures situation global language into both an ontology and query can be translated, abstract way. then generalise existing notions robustness from literature, relate these interpolation properties support modularisation ontologies.
philpapers.org
springer.com
core.ac.uk
sci-hub.se 参考文章(37)
Maurizio Lenzerini, Diego Calvanese, Riccardo Rosati, Giuseppe De Giacomo, Domenico Lemho, DL-Lite: tractable description logics for ontologies national conference on artificial intelligence. pp. 602- 607 ,(2005)
Razvan Diaconescu, Institution-independent model theory ,(2008)
Frank Wolter, Carsten Lutz, Dirk Walther, Conservative extensions in expressive description logics international joint conference on artificial intelligence. pp. 453- 458 ,(2007)
Franz Baader, Carsten Lutz, Sebastian Brandt, Pushing the EL envelope international joint conference on artificial intelligence. pp. 364- 369 ,(2005)
Till Mossakowski, Oliver Kutz, Modules in Transition - Conservativity, Composition, and Colimits. WoMO. ,(2007)
Till Mossakowski, Oliver Kutz, Conservativity in Structured Ontologies european conference on artificial intelligence. ,vol. 178, pp. 89- 93 ,(2008) , 10.3233/978-1-58603-891-5-89
Till Mossakowski, Comorphism-Based Grothendieck Logics mathematical foundations of computer science. pp. 593- 604 ,(2002) , 10.1007/3-540-45687-2_49
Dorel Lucanu, Jin Song Dong, Yuan Fang Li, Institution morphisms for relating OWL and Z international conference on software engineering. pp. 286- 291 ,(2005)
Dorel Lucanu, Yuan Fang Li, Jin Song Dong, Semantic Web Languages – Towards an Institutional Perspective Algebra, Meaning, and Computation. ,vol. 4060, pp. 99- 123 ,(2006) , 10.1007/11780274_6