|
| volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 5 gevonden artikelen
| Titel: |
Common Logic and the Horatio problem |
| Auteur: |
Neuhaus, Fabian Hayes, Pat |
| Verschenen in: |
Applied ontology |
| Paginering: | Jaargang 7 (2012) nr. 2 pagina's 211-231 |
| Jaar: |
2012-05-31 |
| Inhoud: |
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 consequences, the Horatio problem. To solve this problem ISO/IEC 24707's Common Logic includes modules as a syntactic category. However, the semantics of modules is treated incongruently in ISO/IEC 24707. In this paper we propose an alternative semantics of modules, discuss their logical properties, and how they can be used in ontology development. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 5 gevonden artikelen
| volgende >> |