Reference ontologies for interoperability across multiple assembly systems

The role of information and communication technologies (ICTs) is crucial for future manufacturing organisations in order to support effective collaboration and information sharing. However, the contemporary ICT-based systems lack the required ability to adequately support interoperability across multiple domain systems. The capability of such ICT-based systems to interoperate is impeded by the semantic conflicts arising from loosely defined meanings and intents of the participating system concepts. The aim of this paper is to investigate the interoperability of assembly systems at multiple levels of concept specialisations using the concept of a formal reference ontology. Formal ontologies are providing a promising way to computationally capture the domain meanings which can subsequently provide a base to support interoperability across multiple systems and in our case multiple assembly systems. This paper takes the example of manufacturing bill of materials concept and three different domain-specific interpretations to explore and demonstrate the potential of formal reference ontologies to support interoperability

Reference ontologies for interoperability across multiple assembly systems

This is an Accepted Manuscript of an article published by Taylor & Francis in International Journal of Production Research on 28 Sep 2015, available online: http://dx.doi.org/10.1080/00207543.2015.1087654The role of information and communication technologies (ICTs) is crucial for future manufacturing organisations in order to support effective collaboration and information sharing. However, the contemporary ICT-based systems lack the required ability to adequately support interoperability across multiple domain systems. The capability of such ICT-based systems to interoperate is impeded by the semantic conflicts arising from loosely defined meanings and intents of the participating system concepts. The aim of this paper is to investigate the interoperability of assembly systems at multiple levels of concept specialisations using the concept of a formal reference ontology. Formal ontologies are providing a promising way to computationally capture the domain meanings which can subsequently provide a base to support interoperability across multiple systems and in our case multiple assembly systems. This paper takes the example of manufacturing bill of materials concept and three different domain-specific interpretations to explore and demonstrate the potential of formal reference ontologies to support interoperability

Tuple-based morphisms for interoperability establishment of financial information models

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e ComputadoresThe current financial crisis has demonstrated that there is a need for financial accounting data in a format which can be rapidly analyzed and exchanged. The appearance of XBRL in 2000 has helped create a ‘de facto’ standard data format for the exchange of financial information. However, XBRL by itself is not capable of ensuring a common semantic for the exchange of accounting information. Additionally, the existence of different accounting standards in different countries is a hindrance to efficient analysis and evaluation of companies by international analysts or investors. Therefore, there is a need to not only use a more advanced data format, but also for tools which can facilitate the exchange of accounting data, in particular when different accounting standards are used. This dissertation presents a tuple-based semantic and structural mapping for interoperability establishment of financial information models based on the use of ontologies and a ‘Communication Mediator’. It allows the mapping of accounting concepts of different accounting standards to be stored in the ‘Communication Mediator’. The mapping stored contains an ATL code expression, which with the aid of model transformation tools, can be utilized to perform the mapping between two different accounting models

Verification of knowledge shared across design and manufacture using a foundation ontology

Seamless computer-based knowledge sharing between departments of a manufacturing enterprise is useful in preventing unnecessary design revisions. A lack of interoperability between independently developed knowledge bases, however, is a major impediment in the development of a seamless knowledge sharing system. Interoperability, being an ability to overcome semantic and syntactic differences during computer-based knowledge sharing can be enhanced through the use of ontologies. Ontologies in computer science terms are hierarchical structures of knowledge stored in a computer-based knowledge base. Ontologies have been accepted by all as an interoperable medium to provide a non-subjective way of storing and sharing knowledge across diverse domains. Some semantic and syntactic differences, however, still crop up when these ontological knowledge bases are developed independently. A case study in an aerospace components manufacturing company suggests that shape features of a component are perceived differently by the designing and manufacturing departments. These differences cause further misunderstanding and misinterpretation when computer-based knowledge sharing systems are used across the two domains. Foundation or core ontologies can be used to overcome these differences and to ensure a seamless sharing of knowledge. This is because these ontologies provide a common grounding for domain ontologies to be used by individual domains or department. This common grounding can be used by the mediation and knowledge verification systems to authenticate the meaning of knowledge understood across different domains. For this reason, this research proposes a knowledge verification framework for developing a system capable of verifying knowledge between those domain ontologies which are developed out of a common core or foundation ontology. This framework makes use of ontology logic to standardize the way concepts from a foundation and core-concepts ontology are used in domain ontologies and then by using the same principles the knowledge being shared is verified. The Knowledge Frame Language which is based on Common Logic is used for formalizing example ontologies. The ontology editor used for browsing and querying ontologies is the Integrated Ontology Development Environment (IODE) by Highfleet Inc. An ontological product modelling technique is also developed in this research, to test the proposed framework in the scenario of manufacturability analysis. The proposed framework is then validated through a Java API specially developed for this purpose. Real industrial examples experienced during the case study are used for validation

Bridging the gap between the Model-Driven Architecture and ontology engineering

Please note that there is a revised version of this paper available at http://hdl.handle.net/10523/1260 (currently in press with the International Journal of Human-Computer Studies).This paper discusses the potential benefits to ontology engineering in making the toolset of the Object Management Group’s model-driven architecture (MDA) applicable to ontology modelling, and describes the design of an MDA-based tool to convert ontologies expressed in any language having a metamodel defined used the OMG’s MOF model to an equivalent representation in RDF but with the same metamodel. It is shown how this representation, compared to the XMI format, provides a higher level generic serialisation format for MDA models (especially ontologies) that is amenable to analysis and transformation using existing RDF tools. This helps to bridge the gap between the MDA and ontology engineering by providing a route for ontologies in various ontology modelling languages to be imported into industrial-strength MDA model repositories and other tools, and by allowing these ontologies to be transformed to and from other forms of model.UnpublishedObject Management Group. Model-Driven Architecture home page. http://www.omg.org/mda/. Accessed 15/9/05 Object Management Group home page. http://www.omg.org. Accessed 15/9/05 Object Management Group. Meta Object Facility (MOF) Specification, Version 1.4. OMG document formal/2002-04-03, http://www.omg.org/cgi-bin/doc?formal/2002-04-03, 2002 Object Management Group. OMG XML Metadata Interchange (XMI) Specification, version 1.2. OMG document formal/2002-01-01, 2002. http://www.omg.org/cgi-bin/doc?formal/2002-01-01, 2002 Object Management Group. Unified Modeling Language: Superstructure Version 2.0, Final Adopted specification. OMG document ptc/2003-08-02, http://www.omg.org/cgi-bin/doc?ptc/ 2003-08-02, 2003 Object Management Group. MOF 2.0 Query / Views / Transformations RFP. OMG document ad/2002-04-10, ftp://ftp.omg.org/pub/docs/ad/03-03-40.pdf, 2002 Berners-Lee, T. Semantic Web Road map, http://www.w3.org/DesignIssues/Semantic.html, 1998 Klyne G. and Carroll J. (eds.) Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation, http://www.w3.org/TR/2004/REC-rdf-primer-20040210/, 2004 Brickley D. and Guha R.V. (eds.). RDF Vocabulary Description Language 1.0: RDF Schema, W3C Recommendation, http://www.w3.org/TR/2004/REC-rdf-schema-20040210/, 2004 McGuinness, D. L. and van Harmelen, F. Web Ontology Language Overview. W3C Recommendation, http://www.w3.org/TR/owl-features/, 2004 Costello, R. The Robber and the Speeder, pages 33–35 of http://www.daml.org/meetings/2003/05/SWMU/briefings/08_Tutorial_D.ppt, 2003 Genesereth, M. R. and Ketchpel, M. R. Software agents. Communications of the ACM, 37(7): 48–53, July 1994. Finin, T., Labrou, Y. and Mayfield, J. KQML as an agent communication language. In J. Bradshaw, editor, Software Agents. MIT Press, Cambridge, 1997 Foundation for Intelligent Physical Agents. FIPA ACL message representation in string specification. FIPA specification 70, http://www.fipa.org/specs/fipa00070/, 2002 Object Management Group. Ontology Definition Metamodel Request For Proposal. OMG document ad/2003-03-40, ftp://ftp.omg.org/pub/docs/ad/03-03-40.pdf, 2003 Interoperability Working Days announcement, http://knowledgeweb.semanticweb.org/benchmarking_interoperability/working_days/, 2005 Netbeans Metadata Repository. http://mdr.netbeans.org. Accessed 15/9/05. The Java Metadata Interface (JMI) Specification, version 1.0. JSR 40, http://www.jcp.org/en/jsr/detail?id=40, 2002 Chang, D. T. and Kendall, E. K. Major Influences on the Design of ODM, Proceedings of the 1st International Workshop on the Model-Driven Semantic Web, 8th International IEEE Enterprise Distributed Object Computing Conference, http://www.sandsoft.com/edoc2004/ChangODMDesignMDSW.pdf, 2004 Jena API home page. http://jena.sourceforge.net/. Accessed 15/9/2005 Treehugger. http://rdfweb.org/people/damian/treehugger/. Accessed 15/9/2005 RDF Twig. http://rdftwig.sourceforge.net/. Accessed 15/9/200 Prud’hommeaux, E. and Seaborne, A. (eds.) SPARQL Query Language for RDF. W3C Working Draft, http://www.w3.org/TR/2004/WD-rdf-sparql-query-20041012/, 2004 Cranefield, S. Networked Knowledge Representation and Exchange using UML and RDF. Journal of Digital Information 1(8), http://jodi.ecs.soton.ac.uk/Articles/v01/i08/Cranefield/, 2001 Clark, J. (ed.) XSL Transformations (XSLT) Version 1. W3C Recommendation, http://www.w3.org/TR/xslt, 1999 DSTC Pty. Ltd., Gentleware, Inc., IBM and Sandpiper Software. Combined Revised Response to the OMG’s RFP for an Ontology Definition Metamodel, http://codip.grci.com/odm/draft/, 2004 Djurić, D., Gašević, D. and Devedžić, V. Ontology Modeling and MDA. Journal of Object Technology 4(1), http://www.jot.fm/issues/issue_2005_01/article3, 2005 McCarthy, P. Search RDF data with SPARQL. IBM developerWorks article, http://www-128.ibm.com/developerworks/xml/library/j-sparql/, 2005 Cranefield, S. and Purvis, M. A UML profile and mapping for the generation of ontology-specific content languages. Knowledge Engineering Review 17(1): 21–39, 2002 Forgy, C. L. Rete: a fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence, pp.17–37, 1982 Pedrinaci, C. Bernaras, A. Smithers, T. Aguado, J. and Cendoya, M. A Framework for Ontology Reuse and Persistence Integrating UML and Sesame. Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003. – revised selected papers. Lecture Notes in Computer Science vol. 3040, pp. 37–46, Springer, 2004 Gašević, D., Damjanović, V. and Devedžić, V. Analysis of MDA Support for Ontological Engineering. Proceedings of the 4th Workshop on Computational Intelligence and Information Technologies, http://cs.elfak.ni.ac.yu/ciit/w4/papers/10.pdf, 2004 Colomb, R. L., Gerber, A. and Lawley, M. Issues in Mapping Metamodels in the Ontology Development Metamodel. Proceedings of the1st International Workshop on the Model-Driven Semantic Web, 8th International IEEE Enterprise Distributed Object Computing Conference, http://www.itee.uq.edu.au/~colomb/Papers/MappingODMDSTCIEEE.pdf, 200

Bridging the gap between the model-driven architecture and ontology engineering

This is the accepted manuscript of the paper (i.e., draft post-refereeing but prior to final editing). Changes may have been made to this work since it was submitted for publication. The definitive version is available from the publisher's web site as linked above.Software engineers have many robust commercial tools available to them for creating and manipulating models. Due to the widespread adoption of the Object Management Group (OMG) standards for metamodel definition, model serialisation and programmatic access to models, many of these tools are interoperable. Currently this is not the case for ontology engineering tools. This paper discusses the potential benefits of making the OMG’s Model Driven Architecture (MDA) technology applicable to ontology engineering, and in particular, describes a technique for converting ontologies serialised using the XML Metadata Interchange (XMI) format to an equivalent representation using the Resource Description Framework (RDF), without any loss of information. The resulting models can then be analysed and transformed using existing RDF tools. The technique is applicable to any ontology modelling language that has its abstract syntax defined using the OMG’s Meta Object Facility (MOF) model. This research helps to bridge the gap between the MDA and ontology engineering by providing a technique based on the familiar RDF language for defining transformations between other types of model (such as UML) and ontologies, between different ontology modelling languages, or to modify ontologies without changing the language.PublishedPeer ReviewedBerners-Lee, T., 1998. Semantic Web Road map. Retrieved 2005-09-15, from http://www.w3.org/DesignIssues/Semantic.html. Brickley, D. and Guha, R.V. (eds), 2004. RDF Vocabulary Description Language 1.0: RDF Schema. W3C Recommendation, http://www.w3.org/TR/2004/REC-rdf-schema-20040210/. Chang, D. T. and Kendall, E. K., 2004. Major influences on the design of ODM, in: Proceedings of the 1st International Workshop on the Model-Driven Semantic Web, 8th International IEEE Enterprise Distributed Object Computing Conference, http://www.sandsoft.com/edoc2004/ChangODMDesignMDSW.pdf. Clark, J. (ed.), 1999. XSL Transformations (XSLT) Version 1.0. W3C Recommendation, http://www.w3.org/TR/1999/REC-xslt-19991116. Colomb, R., Raymond, K., Hart, L., Emery, P., Welty, C., Xie, G. T. and Kendall, E., 2006. The Object Management Group Ontology Definition Metamodel, in Calero, C.; Ruiz, F.; Piattini, M. (eds.): Ontologies for Software Engineering and Software Technology, Springer, 217-248. Costello, R., 2003. The Robber and the Speeder. Pages 33–45 of http://www.daml.org/meetings/2003/05/SWMU/briefings/08_Tutorial_D.ppt. Cranefield, S. and Purvis, M., 2002. A UML profile and mapping for the generation of ontology-specific content languages. Knowledge Engineering Review. 17(1), 21–39. Cranefield, S., 2001. Networked knowledge representation and exchange using UML and RDF. Journal of Digital Information. 1(8), http://journals.tdl.org/jodi/article/view/jodi-34/31. Djurić, D., Gašević, D. and Devedžić, V. Ontology Modeling and MDA. Journal of Object Technology 4(1), http://www.jot.fm/issues/issue_2005_01/article3, 2005 Forgy, C. L., 1982. Rete: a fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence. 19(1), 17–37. Gašević, D., Damjanović, V. and Devedžić, V., 2004. Analysis of MDA support for ontological engineering, in: Proceedings of the 4th Workshop on Computational Intelligence and Information Technologies, http://cs.elfak.ni.ac.yu/ciit/w4/papers/11.pdf. Grosof, B. and Neogy, C., 2004. SweetRules project home page. Retrieved 2006-10-18, from http://sweetrules.projects.semwebcentral.org/. HP Labs, 2002. Jena – A Semantic Web Framework for Java. Retrieved 2005-09-15, from http://jena.sourceforge.net/. Internet Archive, 2006. Archive of http://www.interdataworking.com/. Retrieved 2006-01-30, from http://web.archive.org/web/*/http://www.interdataworking.com. Java Community Process, 2002. The Java Metadata Interface (JMI) Specification, Version 1.0. JSR 40, http://jcp.org/aboutJava/communityprocess/final/jsr040/. Knowledge Web, 2005. Benchmarking the Interoperability of Ontology Development Tools. Retrieved 2006-01-23, from http://knowledgeweb.semanticweb.org/benchmarking_interoperability/. Manola, F. and Miller, E. (eds), 2004. RDF Primer. W3C Recommendation, http://www.w3.org/TR/2004/REC-rdf-primer-20040210/. McCarthy, P. Search RDF data with SPARQL. IBM developerWorks article, http://www-128.ibm.com/developerworks/xml/library/j-sparql/, 2005 McGuinness, D. L. and van Harmelen, F. (eds), 2004. OWL Web Ontology Language Overview. W3C Recommendation, http://www.w3.org/TR/2004/REC-owl-features-20040210/. Melnik, S., 2000. Representing UML in RDF. Retrieved 2006-01-29, from http://www-db.stanford.edu/~melnik/rdf/uml/. NetBeans.org, 2002. Metadata Repository (MDR) Project Home. Retrieved 2005-09-15, from http://mdr.netbeans.org. OMG, 1997. Object Management Group home page. Retrieved 2005-09-15, from http://www.omg.org. OMG, 2001. OMG Model Driven Architecture. Retrieved 2005-09-15, from http://www.omg.org/mda/. OMG, 2002a. OMG XML Metadata Interchange (XMI) Specification, Version 1.2. OMG document formal/2002-01-01, http://www.omg.org/cgi-bin/doc?formal/2002-01-01. OMG, 2002b. Meta Object Facility (MOF) Specification, Version 1.4. OMG document formal/2002-04-03, http://www.omg.org/cgi-bin/doc?formal/2002-04-03. OMG, 2002c. MOF 2.0 Query / Views / Transformations RFP. OMG document ad/2002-04-10, http://www.omg.org/cgi-bin/doc?ad/2002-04-10. OMG, 2003a. Ontology Definition Metamodel Request For Proposal. OMG document ad/2003-03-40, http://www.omg.org/cgi-bin/doc?ad/2003-03-40. OMG, 2003b. Unified Modeling Language: Superstructure Version 2.0, Final Adopted specification. OMG document ptc/2003-08-02, http://www.omg.org/cgi-bin/doc?ptc/2003-08-02. OMG, 2005. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Final Adopted Specification. OMG document ptc/05-11-01, http://www.omg.org/cgi-bin/doc?ptc/2005-11-01. Pan, J., 2006. Enabling the Model Driven Architecture using RDF. MSc thesis (submitted), Department of Information Science, University of Otago. Pedrinaci, C. Bernaras, A. Smithers, T. Aguado, J. and Cendoya, M., 2004. A framework for ontology reuse and persistence integrating UML and Sesame, in: Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003. – revised selected papers. Lecture Notes in Computer Science, 3040, Springer, pp. 37–46. Prud’hommeaux, E. and Seaborne, A. (eds), 2005. SPARQL Query Language for RDF. W3C Working Draft, http://www.w3.org/TR/2005/WD-rdf-sparql-query-20051123/. Sandpiper Software. Ontology Definition Metamodel: Sixth Revised Submission to OMG/RFP ad/2003-03-40, OMG document ad/2006-05-01, http://www.omg.org/docs/ad/06-05-01.pdf, 2006 Steer, D., 2003. TreeHugger 0.1. Retrieved 2005-09-15, from http://rdfweb.org/people/damian/treehugger/. Walsh, N., 2003. RDF Twig. Retrieved 2005-09-15, from http://rdftwig.sourceforge.net/

Bridging the gap between the Model-Driven Architecture and ontology engineering

Please note that there is a revised version of this paper available at http://hdl.handle.net/10523/1260 (currently in press with the International Journal of Human-Computer Studies).This paper discusses the potential benefits to ontology engineering in making the toolset of the Object Management Group’s model-driven architecture (MDA) applicable to ontology modelling, and describes the design of an MDA-based tool to convert ontologies expressed in any language having a metamodel defined used the OMG’s MOF model to an equivalent representation in RDF but with the same metamodel. It is shown how this representation, compared to the XMI format, provides a higher level generic serialisation format for MDA models (especially ontologies) that is amenable to analysis and transformation using existing RDF tools. This helps to bridge the gap between the MDA and ontology engineering by providing a route for ontologies in various ontology modelling languages to be imported into industrial-strength MDA model repositories and other tools, and by allowing these ontologies to be transformed to and from other forms of model.UnpublishedObject Management Group. Model-Driven Architecture home page. http://www.omg.org/mda/. Accessed 15/9/05 Object Management Group home page. http://www.omg.org. Accessed 15/9/05 Object Management Group. Meta Object Facility (MOF) Specification, Version 1.4. OMG document formal/2002-04-03, http://www.omg.org/cgi-bin/doc?formal/2002-04-03, 2002 Object Management Group. OMG XML Metadata Interchange (XMI) Specification, version 1.2. OMG document formal/2002-01-01, 2002. http://www.omg.org/cgi-bin/doc?formal/2002-01-01, 2002 Object Management Group. Unified Modeling Language: Superstructure Version 2.0, Final Adopted specification. OMG document ptc/2003-08-02, http://www.omg.org/cgi-bin/doc?ptc/ 2003-08-02, 2003 Object Management Group. MOF 2.0 Query / Views / Transformations RFP. OMG document ad/2002-04-10, ftp://ftp.omg.org/pub/docs/ad/03-03-40.pdf, 2002 Berners-Lee, T. Semantic Web Road map, http://www.w3.org/DesignIssues/Semantic.html, 1998 Klyne G. and Carroll J. (eds.) Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation, http://www.w3.org/TR/2004/REC-rdf-primer-20040210/, 2004 Brickley D. and Guha R.V. (eds.). RDF Vocabulary Description Language 1.0: RDF Schema, W3C Recommendation, http://www.w3.org/TR/2004/REC-rdf-schema-20040210/, 2004 McGuinness, D. L. and van Harmelen, F. Web Ontology Language Overview. W3C Recommendation, http://www.w3.org/TR/owl-features/, 2004 Costello, R. The Robber and the Speeder, pages 33–35 of http://www.daml.org/meetings/2003/05/SWMU/briefings/08_Tutorial_D.ppt, 2003 Genesereth, M. R. and Ketchpel, M. R. Software agents. Communications of the ACM, 37(7): 48–53, July 1994. Finin, T., Labrou, Y. and Mayfield, J. KQML as an agent communication language. In J. Bradshaw, editor, Software Agents. MIT Press, Cambridge, 1997 Foundation for Intelligent Physical Agents. FIPA ACL message representation in string specification. FIPA specification 70, http://www.fipa.org/specs/fipa00070/, 2002 Object Management Group. Ontology Definition Metamodel Request For Proposal. OMG document ad/2003-03-40, ftp://ftp.omg.org/pub/docs/ad/03-03-40.pdf, 2003 Interoperability Working Days announcement, http://knowledgeweb.semanticweb.org/benchmarking_interoperability/working_days/, 2005 Netbeans Metadata Repository. http://mdr.netbeans.org. Accessed 15/9/05. The Java Metadata Interface (JMI) Specification, version 1.0. JSR 40, http://www.jcp.org/en/jsr/detail?id=40, 2002 Chang, D. T. and Kendall, E. K. Major Influences on the Design of ODM, Proceedings of the 1st International Workshop on the Model-Driven Semantic Web, 8th International IEEE Enterprise Distributed Object Computing Conference, http://www.sandsoft.com/edoc2004/ChangODMDesignMDSW.pdf, 2004 Jena API home page. http://jena.sourceforge.net/. Accessed 15/9/2005 Treehugger. http://rdfweb.org/people/damian/treehugger/. Accessed 15/9/2005 RDF Twig. http://rdftwig.sourceforge.net/. Accessed 15/9/200 Prud’hommeaux, E. and Seaborne, A. (eds.) SPARQL Query Language for RDF. W3C Working Draft, http://www.w3.org/TR/2004/WD-rdf-sparql-query-20041012/, 2004 Cranefield, S. Networked Knowledge Representation and Exchange using UML and RDF. Journal of Digital Information 1(8), http://jodi.ecs.soton.ac.uk/Articles/v01/i08/Cranefield/, 2001 Clark, J. (ed.) XSL Transformations (XSLT) Version 1. W3C Recommendation, http://www.w3.org/TR/xslt, 1999 DSTC Pty. Ltd., Gentleware, Inc., IBM and Sandpiper Software. Combined Revised Response to the OMG’s RFP for an Ontology Definition Metamodel, http://codip.grci.com/odm/draft/, 2004 Djurić, D., Gašević, D. and Devedžić, V. Ontology Modeling and MDA. Journal of Object Technology 4(1), http://www.jot.fm/issues/issue_2005_01/article3, 2005 McCarthy, P. Search RDF data with SPARQL. IBM developerWorks article, http://www-128.ibm.com/developerworks/xml/library/j-sparql/, 2005 Cranefield, S. and Purvis, M. A UML profile and mapping for the generation of ontology-specific content languages. Knowledge Engineering Review 17(1): 21–39, 2002 Forgy, C. L. Rete: a fast algorithm for the many pattern/many object pattern match problem. Artificial Intelligence, pp.17–37, 1982 Pedrinaci, C. Bernaras, A. Smithers, T. Aguado, J. and Cendoya, M. A Framework for Ontology Reuse and Persistence Integrating UML and Sesame. Current Topics in Artificial Intelligence, 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003. – revised selected papers. Lecture Notes in Computer Science vol. 3040, pp. 37–46, Springer, 2004 Gašević, D., Damjanović, V. and Devedžić, V. Analysis of MDA Support for Ontological Engineering. Proceedings of the 4th Workshop on Computational Intelligence and Information Technologies, http://cs.elfak.ni.ac.yu/ciit/w4/papers/10.pdf, 2004 Colomb, R. L., Gerber, A. and Lawley, M. Issues in Mapping Metamodels in the Ontology Development Metamodel. Proceedings of the1st International Workshop on the Model-Driven Semantic Web, 8th International IEEE Enterprise Distributed Object Computing Conference, http://www.itee.uq.edu.au/~colomb/Papers/MappingODMDSTCIEEE.pdf, 200

Modelos de conocimiento basados en ontologías para la construcción de software en el dominio de la Ingeniería de control

217 p.El tema abordado en esta tesis es la representación del conocimiento del dominio de la ingeniería de control en las aplicaciones informáticas. En concreto se presenta y estudia el uso de las técnicas de modelado del conocimiento provenientes del campo de la inteligencia artificial como forma de hacer frente a alguna de las necesidades que presenta el software en esta disciplina. Para comprobar la validez de esta aproximación se estudia y lleva a cabo la construcción de una estructura conceptual (una ontología) que recoge el conocimiento existente en un subdominio de esa disciplina, concretamente en el problema de diseño de compensadores de adelanto/retraso con las técnicas del lugar de las raíces. La tesis incluye un estado del arte sobre el software CACE / CACSD y sobre el concepto de ontología y su evolución a partir de los sistemas expertos, dentro del campo de la representación del conocimiento y la ingeniería del conocimient