Towards scott domains-based topological ontology models: An application to a cancer domain

Formal Ontology in Information Systems: Collected Papers from the Second International Conference

Volumn , Issue , 2001, Pages 127-138

  Fernandez Breis J T ^a   Castellanos Nieves, D ^c   Valencia Garcia, R ^a   Vivancos Vicente, P J ^a   Martinez Bejar R ^a   De Las Heras Gonzalez M ^b  

^a UNIVERSITY OF MURCIA   (Spain)

^b HOSPITAL UNIVERSITARIO VIRGEN DE LA ARRIXACA   (Spain)

^c NONE

Author keywords

Ontology; Topology

Indexed keywords

DRUG THERAPY; SPECIFICATIONS; TOPOLOGY; TUMORS;

ONTOLOGICAL MODELS;

INFORMATION SCIENCE;

EID: 0035789173     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Eschenbach, C. & Heydrich, W. (1995). Classical mereology and restricted domains, International Journal of Human-Computer Studies, 43: 723-740.
2. Fernández-Breis, J.T. and Martínez-Béjar, R. (2000a). A web-based framework for integrating knowledge. Industrial Knowledge Management: A micro-level approach: 123-138.
3. Fernández-Breis, J.T. and Martínez-Béjar, R. (2000b). A cooperative tool for facilitating Knowledge Management. Expert Systems with Applications 18(4):315-330.
4. Guarino, N. (1998). Formal Ontology and Information Systems. Proceedings of FOIS'98: 3-15
5. Simons, P. (1987). Parts: A study in Ontology. Clarendon Press, Oxford.
6. Smith, B (1996). Mereotopology: A theory of parts and boundaries. Data & Knowledge Engineering 20:287-303.
7. Smith, B. and Mulligan, K. (1983). Framework for Formal Ontology. Topoi 2:73-85.
8. Van Heijst, G., Schreiber, A. T., & Wielinga, B. J. (1997). Using explicit ontologies in KBS development, International Journal of Human-Computer Studies, 45: 183-292.
9. Varzi, A. (1996). Parts, wholes, and part-whole relations: The prospects of mereotopology. Data & Knowledge Engineering 20:259-286.
10. Vickers, S. (1989). Topology via Logic. Cambridge University Press. UK
11. Winskel, G. (1994). Foundations of computing: The formal semantics of programming languages. MIT Press, USA.