Common Logic and the Horatio problem

&
Applied ontology 7 (2):211-231 (2012)
  Copy   BIBTEX

Abstract

Modules allow the reuse of an ontology as part of another ontology. If the ontologies do not share a common domain of discourse a simple ‘cut and paste’ approach to module reuse leads to unintended...

Categories

Keywords

Reprint years

DOI

10.3233/ao-2012-0108

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,423

External links

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

Through your library

My notes

Similar books and articles

TUpper: A top level ontology within standards1.Michael Grüninger, Yi Ru & Jona Thai - 2022 - Applied ontology 17 (1):143-165.
Choosing ontologies for reuse.Megan Katsumi & Michael Grüninger - 2017 - Applied ontology 12 (3-4):195-221.
Guidelines for the reuse of ontology content.Michael Halper, Larisa N. Soldatova, Mathias Brochhausen, Fatima Sabiu Maikore, Christopher Ochs & Yehoshua Perl - 2023 - Applied ontology 18 (1):5-29.
A goal-oriented framework for ontology reuse.Cássio C. Reginato, Jordana S. Salamon, Gabriel G. Nogueira, Monalessa P. Barcellos, Vítor E. Silva Souza, Maxwell E. Monteiro & Renata Guizzardi - 2022 - Applied ontology 17 (3):365-399.
Anatomy Ontologies for Bioinformatics: Principles and Practice.Albert Burger, Duncan Davidson & Richard Baldock (eds.) - 2007 - Springer.
The metatheory of ontology reuse.Megan Katsumi & Michael Grüninger - 2018 - Applied ontology 13 (3):225-254.
Ontologies for Space and Ground Systems.Barry Smith - 2020 - In Ground System Architectures Workshop. Los Angeles, CA: GSAW. pp. 1-3.
Building Ontologies with Basic Formal Ontology.Robert Arp, Barry Smith & Andrew D. Spear - 2015 - Cambridge, MA: MIT Press.
Legal ontologies in knowledge engineering and information management.Joost Breuker, André Valente & Radboud Winkels - 2004 - Artificial Intelligence and Law 12 (4):241-277.
Introduction to Constructional Ontology.Salvatore Florio & Øystein Linnebo - 2024 - Proceedings of the Joint Ontology Workshops:1-14.

Analytics

Added to PP
2013-10-27

Downloads
23 (#949,443)

6 months
9 (#509,115)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Patrick Hayes
Redemptorist Archives, Philadelphia

Citations of this work

No citations found.

Add more citations

References found in this work

Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.

Add more references