메뉴 건너뛰기




Volumn PL, Issue DPS/KE//-, 2007, Pages 163-170

Towards a general ontologyof computer programs

Author keywords

Core ontologies; Foundational ontologies; Knowledge engineering; Ontological engineering; Program ontologie s

Indexed keywords

ABSTRACTION LEVEL; COGNITIVE ENGINEERING; COMPUTER PROGRAM; CORE ONTOLOGIES; DESCRIPTIVE ONTOLOGIES; FOUNDATIONAL ONTOLOGIES; ONTOLOGICAL ENGINEERING; PROCESS INFORMATION; PROGRAM ONTOLOGIE S; PROGRAMMING LANGUAGE;

EID: 67649985733     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (19)

References (16)
  • 1
    • 33645922495 scopus 로고    scopus 로고
    • Bottazzi E., Catenacci C, Gangemi A. & Lehmann J. , 2006. From Collective Intentionality to Intentional Collectives: an Ontological Perspective. In Cognitive Systems Research, Special Issue on Cognition, Joint Action and Collective Intentionality, Elsevier, 7(2-3), p. 192-208.
    • Bottazzi E., Catenacci C, Gangemi A. & Lehmann J. , 2006. From Collective Intentionality to Intentional Collectives: an Ontological Perspective. In Cognitive Systems Research, Special Issue on Cognition, Joint Action and Collective Intentionality, Elsevier, 7(2-3), p. 192-208.
  • 2
    • 47849084544 scopus 로고    scopus 로고
    • An ontological approach to the construction of problem-solving models
    • P. Clark and G. Schreiber eds, A longer version is published as LaRIA's Research Report, Available at:, 2005
    • Bruaux S., Kassel G. & Morel G., 2005. An ontological approach to the construction of problem-solving models. In P. Clark and G. Schreiber (eds), In the 3rd International Conference on Knowledge Capture (K-CAP 2005), ACM, p. 181-182. A longer version is published as LaRIA's Research Report 2005-03. Available at: http://hal.ccsd.cnrs.fr/ccsd-00005019 .
    • (2003) In the 3rd International Conference on Knowledge Capture (K-CAP 2005), ACM , pp. 181-182
    • Bruaux, S.1    Kassel, G.2    Morel, G.3
  • 3
    • 67649897560 scopus 로고    scopus 로고
    • Problems in the Ontology of Computer Programs
    • Technical Report CSM-461, ISSN 1744-8050, Department of Computer Science, University of Essex. From www.eden
    • Eden A. H. & Turner R., 2006. Problems in the Ontology of Computer Programs. Technical Report CSM-461, ISSN 1744-8050, Department of Computer Science, University of Essex. From www.eden- study.org/articles/2006/ problems-ontologyj-rograms-csm461 .pdf.
    • (2006)
    • Eden, A.H.1    Turner, R.2
  • 5
    • 67649951973 scopus 로고    scopus 로고
    • Gangemi A. & Borgos S. (eds), 2004. Proceedings of the EKAW'04 Workshop on Core Ontologies in Ontology Engineering, Northamptonshire (UK). From http://ceur-ws.org (118).
    • Gangemi A. & Borgos S. (eds), 2004. Proceedings of the EKAW'04 Workshop on Core Ontologies in Ontology Engineering, Northamptonshire (UK). From http://ceur-ws.org (Vol-118).
  • 7
    • 58549088713 scopus 로고    scopus 로고
    • The Dual Nature of Thechnical Artifacts - presentation of a new research programme
    • Winter
    • Kroes P. & Meijers A., 2002. The Dual Nature of Thechnical Artifacts - presentation of a new research programme. In Techné, 6(2) Winter 2002, p. 4-8.
    • (2002) Techné , vol.6 , Issue.2 , pp. 4-8
    • Kroes, P.1    Meijers, A.2
  • 8
    • 26444507894 scopus 로고    scopus 로고
    • WonderWeb Deliverable D18, final report
    • vr. 1.0, 31 -12-2003
    • Masolo C, Borgo S., Gangemi A., Guarino N., Oltramari A. & Schneider L., 2003. The WonderWeb Library of Foundational Ontologies and the DOLCE ontology. WonderWeb Deliverable D18, final report (vr. 1.0, 31 -12-2003).
    • (2003)
    • Masolo, C.1    Borgo, S.2    Gangemi, A.3    Guarino, N.4    Oltramari, A.5    Schneider, L.6
  • 9
    • 49049136479 scopus 로고
    • The Knowledge Level
    • Newell A., 1982. The Knowledge Level. In Artificial Intelligence 18, p. 87-127.
    • (1982) Artificial Intelligence , vol.18 , pp. 87-127
    • Newell, A.1
  • 11
    • 85013596147 scopus 로고    scopus 로고
    • Towards Ontologies for Formalizing Modularization and Communication in Large Software Systems
    • Oberle D., Lamparter S., Grimm S., Vrandecic D., Staab S. & Gangemi A., 2006. Towards Ontologies for Formalizing Modularization and Communication in Large Software Systems. In Applied Ontology, 1(2), p. 163-202.
    • (2006) In Applied Ontology , vol.1 , Issue.2 , pp. 163-202
    • Oberle, D.1    Lamparter, S.2    Grimm, S.3    Vrandecic, D.4    Staab, S.5    Gangemi, A.6
  • 13
    • 0034301679 scopus 로고    scopus 로고
    • On the representation of roles in object-oriented and conceptual modelling
    • Steimann F., 2000. On the representation of roles in object-oriented and conceptual modelling. In Data and Knowledge Engineering, 35, p. 83-106.
    • (2000) Data and Knowledge Engineering , vol.35 , pp. 83-106
    • Steimann, F.1
  • 15
    • 67649914668 scopus 로고    scopus 로고
    • Towards a Programming Language Ontology
    • in press, G. Dodig-Crnkovic and S. Stuart eds, Cambridge, UK: Cambridge Scholars Press
    • Turner R. & Eden A.H. (in press). Towards a Programming Language Ontology. In G. Dodig-Crnkovic and S. Stuart (eds.), Computing, Philosophy, and Cognitive Science, Cambridge, UK: Cambridge Scholars Press.
    • Computing, Philosophy, and Cognitive Science
    • Turner, R.1    Eden, A.H.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.