Attribute meta-properties for formal ontological analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2473, Issue , 2002, Pages 301-316

  Tamma, Valentina ^a   Bench Capon, Trevor J M ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE ENGINEERING; KNOWLEDGE MANAGEMENT; ONTOLOGY;

CONCEPT DEFINITIONS; CONCEPT DESCRIPTION; META-PROPERTIES; ONTOLOGICAL ANALYSIS; ONTOLOGY MODEL;

FORMAL CONCEPT ANALYSIS;

EID: 84947444848     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45810-7_28     Document Type: Conference Paper

References (32)

1. T. Bylander and B. Chandrasekaran. Generic tasks in knowledge-based reasoning: The right level of abstraction for knowledge acquisition. In B. gaines and J. Boose, editors, Knowledge acquisition for knowledge bases, volume 1, pages 65–77. Academic Press, London, 1988.
2. M. Fernández-López, A. Gómez-Pérez, and N. Guarino. The methontology & ontoClean merge. Technical report, OntoWeb special interest group on Enterprisestandards Ontology Environments, 2001.
3. M. Fernández-López, A. Gómez-Pérez, A. Pazos-Sierra, and J. Pazos-Sierra. Building a chemical ontology using METHONTOLOGY and the ontology design environment. IEEE Intelligent Systems and their applications, January/February:37–46, 1999.
4. N. Fridman Noy and M.A. Musen. SMART: Automated support for ontology merging and alignment. In Proceedings of the 12th Workshop on Knowledge Acquisition, Modeling and Management (KAW), Banff, Alberta, Canada, 1999. University of Calgary.
5. M. Goldszmidt and J. Pearl. Qualitative probabilisties for default reasoning, belief revision, and causal modelling. Artificial Intelligence, 84(1-2):57–112, 1996.
6. T. R. Gruber. A translation approach to portable ontology specifications. Knowledge Acquisition, 5(2):199–220, 1993.
7. N. Guarino. Formal ontologies and information systems. In N. Guarino, editor, Proceedings of FOIS’98, Amsterdam, 1998. IOS Press.
8. N. Guarino, M. Carrara, and P. Giaretta. An ontology of meta-level-categories. In Principles of Knowledge representation and reasoning: Proceedings of the fourth international conference (KR94), pages 270–280, San Mateo, CA, 1994. Morgan Kaufmann.
9. E. Hirsch. The concept of identity. Oxford University Press, New York, 1982.
10. I. Kant. Critique of pure reason. St. Martin’s press, New York, 1965. Translation by N. Kemp Smith from Kritik der reinen Vernunft, 1787.
11. K. Knight and S. Luk. Building a large knowledge base for machine translation. In Proceedings of the American Association of Artificial Intelligence Conference, AAAI-94, Seattle, WA, 1994.
12. R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4:67–95, 1986.
13. S.A. Kripke. Naming and necessity. Harvard University Press, Cambridge, Massachusetts, USA, 1980.
14. O. Lassila and D. McGuinness. The role of frame-based representation on the semantic web. Electronic Transactions on Artificial Intelligence (ETAI) Journal: area The Semantic Web, To appear, 2001.
15. E.J. Lowe. Kinds of being. A study of individuation, identity and the logic of sortal terms. Basil Blackwell, Oxford, UK, 1989.
16. G.F. Luger. Artificial intelligence. Structures and strategies for complex problem solving. Addison Wesley-Pearson Education, Harlow, England, fourth edition, 2002.
17. D.L. McGuinness. Conceptual modelling for distributed ontology environments. In B. Ganter and G.W. Mineau, editors, Proceedings of the Eighth International Conference on Conceptual Structures Logical, Linguistic, and Computational Issues (ICCS 2000), volume LNAI 1867, 2000.
18. D.L. McGuinness, R.E. Fikes, J. Rice, and S. Wilder. An environment for merging and testing large ontologies. In A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Principles of Knowledge Representation and Reasoning. Proceedings of the seventh international conference (KR’2000), pages 483–493, San Francisco, CA, 2000. Morgan Kaufmann.
19. G.A. Miller, R. Beckwith, C. Fellbaum, D. Gross, and K. Miller. Introduction to wordnet: An on line lexical database. Technical report, Cognitive Science Laboratory, Princeton University, 1993.
20. A. Plantiga. The nature of necessity. Clarendon Library of logic and philosophy. Clarendon Press, New York, 1989.
21. E.H. Rosch. Cognitive representations of semantic categories. Journal of Experimental Psychology: General, 104:192–233, 1975.
22. E.H. Rosch. Reclaiming concepts. Journal of Consciousness Studies, 6(11-12):61–77, 1999.
23. J.R. Searle. Intentionality. Cambridge University Press, Cambridge, 1983.
24. J.F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, MA, 1984.
25. J.F. Sowa. Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co., Pacific Grove, CA, 2000.
26. F. Steimann. On the representation of roles in object-oriented and conceptual modelling. Data and Knowledge Engineering, 35:83–106, 2000.
27. R. Studer, V.R. Benjamins, and D. Fensel. Knowledge engineering, principles and methods. Data and Knowledge Engineering, 25(1-2):161–197, 1998.
28. V. Tamma. An ontology model supporting multiple ontologies for knowledge sharing. PhD thesis, University of Liverpool, 2002.
29. V.A.M. Tamma and T.J.M. Bench-Capon. An enriched knowledge model for formal ontological analysis. In C. Welty and B. Smith, editors, Proceedings of the international conference on formal ontology and information systems (FOIS’01), New York, 2001. ACM press.
30. P.R.S. Visser, D.M. Jones, T.J.M. Bench-Capon, and M.J.R. Shave. Assessing heterogeneity by classifying ontology mismatches. In N. Guarino, editor, Formal Ontology in Information Systems. Proceedings FOIS’98, Trento, Italy, pages 148–182. IOS Press, 1998.
31. C. Welty and N. Guarino. Supporting ontological analysis of taxonomical relationships. Data and knowledge engineering, 39(1):51–74, 2001.
32. D. Wiggins. Identity and Spatio-Temporal continuity. Basil Blackwell, Oxford, 1967.