Towards ontology evolution in physics

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

Volumn 5110 LNAI, Issue , 2008, Pages 98-110

  Bundy, Alan ^a   Chan, Michael ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FUZZY LOGIC; LINGUISTICS; MAINTENANCE; ONTOLOGY;

DIVERSE RANGE; EVOLUTION (CO); EXPERIMENTAL EVIDENCE; GALILEO (CO); GALILEO SYSTEMS; HEIDELBERG (CO); HISTORICAL RECORDS; HISTORY OF PHYSICS; INTERNATIONAL (CO); SEARCH CONTROL;

REPAIR;

EID: 47749092478     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69937-8_10     Document Type: Conference Paper

References (9)

1. Bundy, A., McNeill, F.: Representation as a fluent: An AI challenge for the next half century. IEEE Intelligent Systems 21(3), 85-87 (2006)
2. McNeill, F., Bundy, A.: Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution. IJSWIS, Special issue on ontology matching 3(3), 1-35 (2007)
3. Bundy, A.: Where's my stuff? An ontology repair plan. In: Ahrendt, W., Baumgartner, P., de Nivelle, H. (eds.) Proceedings of the Workshop on Disproving - Non-Theorems, Non-Validity, Non-Provability, Bremen, Germany, July 2007, pp. 2-12 (2007), http://www.cs.chalmers.se/~ahrendt/CADE07-ws-disproving/
4. Miller, D., Nadathur, G.: An overview of AProlog. In: Bowen, R. (ed.) Proceedings of the Fifth International Logic Programming Conference/ Fifth Symposium on Logic Programming. MIT Press, Cambridge (1988)
5. Bundy, A.: A science of reasoning. In: Lassez, J.L., Plotkin, G. (eds.) Computational Logic: Essays in Honor of Alan Robinson, pp. 178-198. MIT Press, Cambridge (1991)
6. Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.: Repairing Unsatisfiable Concepts in OWL Ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 170-184. Springer, Heidelberg (2006)
7. Wiser, M., Carey, S.: When heat and temperature were one. In: Stevens, A., Gentner, D. (eds.) Mental Models, pp. 267-297. Erlbaum, Mahwah (1983)
8. Rubin, V.C. Thonnard, N., Ford, W.K. J.: Rotational properties of 21 SC galaxies with a large range of luminosities and radii, from NGC 4605 /R = 4kpc/ to UGC 2885 /R = 122 kpc/. Astrophysical Journal 238, 471 (1980)
9. Langley, P., Zytkow, J., Simon, H., Bradshaw, G.: Mechanisms for qualitative and quantitative discovery. In: Michalski, R.S. (ed.) Proceedings of the International Machine Learning Workshop, University of Illinois, June 1983, pp. 121-132 (1983)