메뉴 건너뛰기




Volumn 4891 LNCS, Issue , 2008, Pages 7-34

Ontology engineering - The DOGMA approach

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATIONS; COMPUTER SOFTWARE REUSABILITY; INFORMATION THEORY; PHILOSOPHICAL ASPECTS; REUSABILITY; SEMANTIC WEB; SEMANTICS; SPECIFICATION LANGUAGES;

EID: 59049106658     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89784-2_2     Document Type: Conference Paper
Times cited : (61)

References (59)
  • 1
    • 0007698660 scopus 로고
    • Generic tasks in knowledge-based reasoning: The right level of abstraction for knowledge acquisition
    • Academic Press, London
    • Bylander, T., Chandrasekaran, B.: Generic tasks in knowledge-based reasoning: The right level of abstraction for knowledge acquisition. In: Knowledge Acquisition for Knowledge Based Systems, vol. 1, pp. 65-77. Academic Press, London (1988)
    • (1988) Knowledge Acquisition for Knowledge Based Systems , vol.1 , pp. 65-77
    • Bylander, T.1    Chandrasekaran, B.2
  • 2
    • 0242276205 scopus 로고    scopus 로고
    • Bouquet, P., van Harmelen, F., Giunchiglia, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, 2870, pp. 164-179. Springer, Heidelberg (2003)
    • Bouquet, P., van Harmelen, F., Giunchiglia, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164-179. Springer, Heidelberg (2003)
  • 3
    • 84947939385 scopus 로고    scopus 로고
    • Bench-Capon, T.J.M., Malcolm, G.: Formalising Ontologies and Their Relations. In: Bench-Capon, T.J.M., Soda, G., Tjoa, A.M. (eds.) DEXA 1999. LNCS, 1677, pp. 250-259. Springer, Heidelberg (1999)
    • Bench-Capon, T.J.M., Malcolm, G.: Formalising Ontologies and Their Relations. In: Bench-Capon, T.J.M., Soda, G., Tjoa, A.M. (eds.) DEXA 1999. LNCS, vol. 1677, pp. 250-259. Springer, Heidelberg (1999)
  • 7
    • 33746615264 scopus 로고    scopus 로고
    • De Moor, A., De Leenheer, P., Meersman, M.: DOGMA-MESS: A Meaning Evolution Support System for Interorganizational Ontology Engineering. In: Schärfe, H., Hitzler, P., Øhrstrøm, P. (eds.) ICCS 2006. LNCS, 4068, pp. 189-202. Springer, Heidelberg (2006)
    • De Moor, A., De Leenheer, P., Meersman, M.: DOGMA-MESS: A Meaning Evolution Support System for Interorganizational Ontology Engineering. In: Schärfe, H., Hitzler, P., Øhrstrøm, P. (eds.) ICCS 2006. LNCS, vol. 4068, pp. 189-202. Springer, Heidelberg (2006)
  • 8
    • 38149132609 scopus 로고    scopus 로고
    • Context Dependency Management in Ontology Engineering: A Formal Approach
    • Spaccapietra, S, Atzeni, P, Fages, F, Hacid, M.-S, Kifer, M, Mylopoulos, J, Pernici, B, Shvaiko, P, Trujillo, J, Zaihrayeu, I, eds, Journal on Data Semantics VIII, Springer, Heidelberg
    • De Leenheer, P., de Moor, A., Meersman, R.: Context Dependency Management in Ontology Engineering: a Formal Approach. In: Spaccapietra, S., Atzeni, P., Fages, F., Hacid, M.-S., Kifer, M., Mylopoulos, J., Pernici, B., Shvaiko, P., Trujillo, J., Zaihrayeu, I. (eds.) Journal on Data Semantics VIII. LNCS, vol. 4380, pp. 26-56. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4380 , pp. 26-56
    • De Leenheer, P.1    de Moor, A.2    Meersman, R.3
  • 9
    • 0035789495 scopus 로고    scopus 로고
    • Degen, W., Heller, B., Herre, H., Smith, B.: GOL: Towards an Axiomatized Upper-Level Ontology. In: Formal Ontology in Information Systems. Proceedings of the FOIS 2001, pp. 34-46. ACM Press, New York (2001)
    • Degen, W., Heller, B., Herre, H., Smith, B.: GOL: Towards an Axiomatized Upper-Level Ontology. In: Formal Ontology in Information Systems. Proceedings of the FOIS 2001, pp. 34-46. ACM Press, New York (2001)
  • 11
    • 35048840897 scopus 로고    scopus 로고
    • De Bo, J., Spyns, P., Meersman, R.: Assisting Ontology Integration with Existing Thesauri. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, 3290, pp. 801-818. Springer, Heidelberg (2004)
    • De Bo, J., Spyns, P., Meersman, R.: Assisting Ontology Integration with Existing Thesauri. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol. 3290, pp. 801-818. Springer, Heidelberg (2004)
  • 12
    • 59049099681 scopus 로고    scopus 로고
    • Gangemi, A.: Some design patterns for domain ontology building and analysis. An online presentation (April 2004), http://www.loacnr.it/Tutorials/ OntologyDesignPatterns.zip
    • Gangemi, A.: Some design patterns for domain ontology building and analysis. An online presentation (April 2004), http://www.loacnr.it/Tutorials/ OntologyDesignPatterns.zip
  • 13
    • 0003322722 scopus 로고
    • The Ontological Level
    • Casati, R, Smith, B, White, G, eds, Hölder-Pichler- Tempsky, Vienna
    • Guarino, N.: The Ontological Level. In: Casati, R., Smith, B., White, G. (eds.) Philosophy and the Cognitive Science, pp. 443-456. Hölder-Pichler- Tempsky, Vienna (1994)
    • (1994) Philosophy and the Cognitive Science , pp. 443-456
    • Guarino, N.1
  • 14
    • 58149365542 scopus 로고
    • Toward principles for the design of ontologies used for knowledge sharing
    • Gruber, T.: Toward principles for the design of ontologies used for knowledge sharing. International Journal of Human-Computer Studies 43(5/6) (1995)
    • (1995) International Journal of Human-Computer Studies , vol.43 , Issue.5-6
    • Gruber, T.1
  • 15
    • 59049084978 scopus 로고    scopus 로고
    • Guarino, N.: Formal Ontology in Information Systems. In: Proceedings of FOIS 1998, pp. 3-15. IOS Press, Amsterdam (1998)
    • Guarino, N.: Formal Ontology in Information Systems. In: Proceedings of FOIS 1998, pp. 3-15. IOS Press, Amsterdam (1998)
  • 16
    • 0003280982 scopus 로고    scopus 로고
    • Some Ontological Principles for Designing Upper Level Lexical Resources
    • Rubio, A, Gallardo, N, Castro, R, Tejada, A, eds, ELRA, European Language Resources Association, Granada, Spain
    • Guarino, N.: Some Ontological Principles for Designing Upper Level Lexical Resources. In: Rubio, A., Gallardo, N., Castro, R., Tejada, A. (eds.) Proceedings of First International Conference on Language Resources and Evaluation. ELRA - European Language Resources Association, Granada, Spain (1998)
    • (1998) Proceedings of First International Conference on Language Resources and Evaluation
    • Guarino, N.1
  • 19
    • 59049094916 scopus 로고    scopus 로고
    • Gangemi, A., Guarino, N., Oltramari, A., Borgo, S.: Cleaning-up WordNet's toplevel. In: Proceedings of the 1st International WordNet Conference (January 2002)
    • Gangemi, A., Guarino, N., Oltramari, A., Borgo, S.: Cleaning-up WordNet's toplevel. In: Proceedings of the 1st International WordNet Conference (January 2002)
  • 20
    • 84867292127 scopus 로고    scopus 로고
    • Guizzardi, G., Herre, H., Wagner, G.: Towards Ontological Foundations for UML Conceptual Models. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, 2519, pp. 1100-1117. Springer, Heidelberg (2002)
    • Guizzardi, G., Herre, H., Wagner, G.: Towards Ontological Foundations for UML Conceptual Models. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, pp. 1100-1117. Springer, Heidelberg (2002)
  • 22
    • 0012257635 scopus 로고    scopus 로고
    • Evaluating Ontological Decisions with OntoClean
    • Guarino, N., Welty, C.: Evaluating Ontological Decisions with OntoClean. Communications of the ACM 45(2), 61-65 (2002)
    • (2002) Communications of the ACM , vol.45 , Issue.2 , pp. 61-65
    • Guarino, N.1    Welty, C.2
  • 23
    • 84886280180 scopus 로고    scopus 로고
    • Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, 1705, pp. 161-180. Springer, Heidelberg (1999)
    • Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for expressive description logics. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 161-180. Springer, Heidelberg (1999)
  • 26
    • 33646714471 scopus 로고    scopus 로고
    • Jarrar, M.: Modularization and automatic composition of Object-Role Modeling (ORM) Schemes. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, 3762, pp. 613-625. Springer, Heidelberg (2005)
    • Jarrar, M.: Modularization and automatic composition of Object-Role Modeling (ORM) Schemes. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2005. LNCS, vol. 3762, pp. 613-625. Springer, Heidelberg (2005)
  • 27
    • 34250629307 scopus 로고    scopus 로고
    • Towards the notion of gloss, and the adoption of linguistic resources in formal ontology engineering
    • Scotland, pp, ACM Press, New York
    • Jarrar, M.: Towards the notion of gloss, and the adoption of linguistic resources in formal ontology engineering. In: Proceedings of the 15th International World Wide Web Conference (WWW 2006), Scotland, pp. 497-503. ACM Press, New York (2006)
    • (2006) Proceedings of the 15th International World Wide Web Conference (WWW , pp. 497-503
    • Jarrar, M.1
  • 28
    • 59049084138 scopus 로고    scopus 로고
    • Jarrar, M.: Towards Effectiveness and Transparency in e-Business Transactions, An Ontology for Customer Complaint Management, ch. 7. Semantic Web Methodologies for EBusiness Applications. IGI Global (October 2008) ISBN: 978-1-60566-066-0
    • Jarrar, M.: Towards Effectiveness and Transparency in e-Business Transactions, An Ontology for Customer Complaint Management, ch. 7. Semantic Web Methodologies for EBusiness Applications. IGI Global (October 2008) ISBN: 978-1-60566-066-0
  • 29
    • 38349035819 scopus 로고    scopus 로고
    • Jarrar, M.: Towards Automated Reasoning on ORM Schemes. -Mapping ORM into the DLR-idf description logic. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, 4801, pp. 181-197. Springer, Heidelberg (2007)
    • Jarrar, M.: Towards Automated Reasoning on ORM Schemes. -Mapping ORM into the DLR-idf description logic. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 181-197. Springer, Heidelberg (2007)
  • 30
    • 38349011011 scopus 로고    scopus 로고
    • Jarrar, M.: Mapping ORM into the SHOIN/OWL Description Logic- Towards a Methodological and Expressive Graphical Notation for Ontology Engineering. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2007, Part I. LNCS, 4805, pp. 729-741. Springer, Heidelberg (2007)
    • Jarrar, M.: Mapping ORM into the SHOIN/OWL Description Logic- Towards a Methodological and Expressive Graphical Notation for Ontology Engineering. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2007, Part I. LNCS, vol. 4805, pp. 729-741. Springer, Heidelberg (2007)
  • 31
    • 0242308065 scopus 로고    scopus 로고
    • On Using Conceptual Data Modeling for Ontology Engineering
    • Spaccapietra, S, March, S, Aberer, K, eds, Journal on Data Semantics I, Springer, Heidelberg
    • Jarrar, M., Demy, J., Meersman, R.: On Using Conceptual Data Modeling for Ontology Engineering. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol. 2800, pp. 185-207. Springer, Heidelberg (2003)
    • (2003) LNCS , vol.2800 , pp. 185-207
    • Jarrar, M.1    Demy, J.2    Meersman, R.3
  • 32
    • 38349050638 scopus 로고    scopus 로고
    • Reasoning on ORM using Racer
    • Technical report, Vrije Universiteit Brussel, Brussels, Belgium August
    • Jarrar, M., Eldammagh, M.: Reasoning on ORM using Racer. Technical report, Vrije Universiteit Brussel, Brussels, Belgium (August. 2006)
    • (2006)
    • Jarrar, M.1    Eldammagh, M.2
  • 33
    • 51449096449 scopus 로고    scopus 로고
    • Towards Pattern-based Reasoning for Friendly Ontology Debugging
    • August
    • Jarrar, M., Heymans, S.: Towards Pattern-based Reasoning for Friendly Ontology Debugging. Journal of Artificial Intelligence Tools 17(4) (August 2008)
    • (2008) Journal of Artificial Intelligence Tools , vol.17 , Issue.4
    • Jarrar, M.1    Heymans, S.2
  • 34
    • 84867309745 scopus 로고    scopus 로고
    • Jarrar, M., Meersman, R.: Formal Ontology Engineering in the DOGMA Approach. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, 2519, pp. 1238-1254. Springer, Heidelberg (2002)
    • Jarrar, M., Meersman, R.: Formal Ontology Engineering in the DOGMA Approach. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, pp. 1238-1254. Springer, Heidelberg (2002)
  • 35
    • 59049104126 scopus 로고    scopus 로고
    • Klein, M., Noy: A component-based framework for ontology evolution. Technical Report IR-504, Vrije Universiteit Amsterdam (March 2003)
    • Klein, M., Noy: A component-based framework for ontology evolution. Technical Report IR-504, Vrije Universiteit Amsterdam (March 2003)
  • 36
    • 59049098246 scopus 로고    scopus 로고
    • Kerremans, K., Temmerman, R., Tummers, J.: Representing multilingual and culturespecific knowledge in a VAT regulatory ontology: support from the termontography approach. In: OTM 2003 Workshops. Springer, Tübingen (2003)
    • Kerremans, K., Temmerman, R., Tummers, J.: Representing multilingual and culturespecific knowledge in a VAT regulatory ontology: support from the termontography approach. In: OTM 2003 Workshops. Springer, Tübingen (2003)
  • 38
    • 0001928537 scopus 로고
    • Notes on Formalizing Context
    • Morgan Kaufmann, San Francisco
    • McCarthy, J.: Notes on Formalizing Context. In: Proceedings of IJCAI 1993. Morgan Kaufmann, San Francisco (1993)
    • (1993) Proceedings of IJCAI
    • McCarthy, J.1
  • 39
    • 59049107774 scopus 로고    scopus 로고
    • Meersman, R.: An essay on the Role and Evolution of Data(base) Semantics. In: Meersman, R., Mark, L. (eds.) Proceeding of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6). CHAPMAN & HALL, Atlanta (1996)
    • Meersman, R.: An essay on the Role and Evolution of Data(base) Semantics. In: Meersman, R., Mark, L. (eds.) Proceeding of the IFIP WG 2.6 Working Conference on Database Applications Semantics (DS-6). CHAPMAN & HALL, Atlanta (1996)
  • 41
    • 84957649910 scopus 로고    scopus 로고
    • Semantic Ontology Tools in Information System Design
    • Ras, Z, Zemankova, M, eds, Proceedings of the ISMIS 1999 Conference, Springer, Heidelberg
    • Meersman, R.: Semantic Ontology Tools in Information System Design. In: Ras, Z., Zemankova, M. (eds.) Proceedings of the ISMIS 1999 Conference. LNCS, vol. 1609, pp. 30-45. Springer, Heidelberg (1999)
    • (1999) LNCS , vol.1609 , pp. 30-45
    • Meersman, R.1
  • 42
    • 2542621748 scopus 로고    scopus 로고
    • Ontologies and Databases: More than a Fleeting Resemblance
    • d'Atri, A, Missikoff, M, eds
    • Meersman, R.: Ontologies and Databases: More than a Fleeting Resemblance. In: d'Atri, A., Missikoff, M. (eds.) OES/SEO 2001 Rome Workshop. Luiss Publications (2001)
    • (2001) OES/SEO 2001 Rome Workshop. Luiss Publications
    • Meersman, R.1
  • 44
    • 84936386086 scopus 로고
    • Indiana University Press, Bloomington
    • Nöth, W.: Handbook of Semiotics. Indiana University Press, Bloomington (1990)
    • (1990) Handbook of Semiotics
    • Nöth, W.1
  • 45
    • 59049106300 scopus 로고    scopus 로고
    • Web Services: Description, Interfaces and Ontology
    • Geroimenko, V, Chen, C, eds, Springer, Heidelberg
    • Nakhimovsky, A., Myers, T.: Web Services: Description, Interfaces and Ontology. In: Geroimenko, V., Chen, C. (eds.) Visualizing the Semantic Web, pp. 135-150. Springer, Heidelberg (2002)
    • (2002) Visualizing the Semantic Web , pp. 135-150
    • Nakhimovsky, A.1    Myers, T.2
  • 47
    • 59049094659 scopus 로고    scopus 로고
    • Patil, R., Fikes, R., Patel-Schneider, P., McKay, D., Finin, T., Gruber, T., Neches, R.: The DARPA Knowledge Sharing Effort: Progress Report. In: Proceedings of Knowledge Representation and Reasoning, pp. 777-788 (1992)
    • Patil, R., Fikes, R., Patel-Schneider, P., McKay, D., Finin, T., Gruber, T., Neches, R.: The DARPA Knowledge Sharing Effort: Progress Report. In: Proceedings of Knowledge Representation and Reasoning, pp. 777-788 (1992)
  • 49
    • 59049091045 scopus 로고
    • Foundations of Arabic philosophy
    • Beirut () ISBN 2- 7214-8024-3
    • Qmair, Y.: Foundations of Arabic philosophy. Dar al-Shoroq, Beirut (1991) ISBN 2- 7214-8024-3
    • (1991) Dar al-Shoroq
    • Qmair, Y.1
  • 50
    • 0005183938 scopus 로고
    • Towards a Logical Reconstruction of Relational Database Theory
    • Morgan Kaufmann, San Francisco
    • Reiter, R.: Towards a Logical Reconstruction of Relational Database Theory. In: Readings in AI and Databases. Morgan Kaufmann, San Francisco (1988)
    • (1988) Readings in AI and Databases
    • Reiter, R.1
  • 52
    • 34250666259 scopus 로고
    • Propositional, First-Order And Higher-Order Logics: Basic Definitions, Rules of Inference, Examples
    • Iwanska, L, Stuart, S, eds, AAAI Press/The MIT Press, Menlo Park
    • Shapiro, S.: Propositional, First-Order And Higher-Order Logics: Basic Definitions, Rules of Inference, Examples. In: Iwanska, L., Stuart, S. (eds.) Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language. AAAI Press/The MIT Press, Menlo Park (1995)
    • (1995) Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language
    • Shapiro, S.1
  • 55
    • 2542636322 scopus 로고    scopus 로고
    • Data modelling versus Ontology engineering
    • Spyns, P., Meersman, R., Jarrar, M.: Data modelling versus Ontology engineering. SIGMOD Record 31(4), 12-17 (2002)
    • (2002) SIGMOD Record , vol.31 , Issue.4 , pp. 12-17
    • Spyns, P.1    Meersman, R.2    Jarrar, M.3
  • 56
    • 59049088344 scopus 로고    scopus 로고
    • Van Griethuysen, J.J. (ed.): Concepts and Terminology for the Conceptual Schema and Information Base. International Standardization Organization, Publication No. ISO/TC97/SC5- N695 (1982)
    • Van Griethuysen, J.J. (ed.): Concepts and Terminology for the Conceptual Schema and Information Base. International Standardization Organization, Publication No. ISO/TC97/SC5- N695 (1982)
  • 57
    • 24144440378 scopus 로고    scopus 로고
    • Verheyden, P., De Bo, J., Meersman, R.: Semantically unlocking database content through ontology-based mediation. In: Bussler, C.J., Tannen, V., Fundulaki, I. (eds.) SWDB 2004. LNCS, 3372, pp. 109-126. Springer, Heidelberg (2005)
    • Verheyden, P., De Bo, J., Meersman, R.: Semantically unlocking database content through ontology-based mediation. In: Bussler, C.J., Tannen, V., Fundulaki, I. (eds.) SWDB 2004. LNCS, vol. 3372, pp. 109-126. Springer, Heidelberg (2005)
  • 58
    • 0035477319 scopus 로고    scopus 로고
    • Support for Ontological Analysis of Taxonomic Relationships
    • Welty, C., Guarino, N.: Support for Ontological Analysis of Taxonomic Relationships. Journal of Data and Knowledge Engineering 39(1), 51-74 (2001)
    • (2001) Journal of Data and Knowledge Engineering , vol.39 , Issue.1 , pp. 51-74
    • Welty, C.1    Guarino, N.2
  • 59
    • 35048880926 scopus 로고    scopus 로고
    • User-Specific Semantic Integration of Heterogeneous Data: The SIRUP Approach
    • Proceeding of the International Conference on Semantics of a Networked World, Springer, Paris
    • Ziegler, P., Dittrich, K.: User-Specific Semantic Integration of Heterogeneous Data: The SIRUP Approach. In: Proceeding of the International Conference on Semantics of a Networked World. LNCS, pp. 14-44. Springer, Paris (2004)
    • (2004) LNCS , pp. 14-44
    • Ziegler, P.1    Dittrich, K.2


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