Topology via logic
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
Classical mereology and restricted domains
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Parts, wholes, and part-whole relations: the prospects of mereotopology
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Mereotopology: a theory of parts and boundaries
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Using explicit ontologies in KBS development
International Journal of Human-Computer Studies
Hi-index | 0.00 |
An ontology can be seen as an approximation to what exists in thereal world. An ontological model is the kernel used for specifyingontologies so that how close an ontology can be from the real worlddepends on the possibilities offered by the ontological model. Inthis paper, an ontological model that permits the specification ofconcepts, attributes, mereological and taxonomic relationships, andstructural axioms, and that has already been applied to differentapplication domains is extended to contain topologicalrelationships as well. It is demonstrated in this paper thattopological relations can be established on ontologies built withthat ontological model, and the topological relations are notestablished by the user but inferred from the knowledge containedin the particular ontology. The domain chosen for this work is therelation between drugs consumption and cancer diagnoses.