Theorem Proving in the Ontology Lifecycle
暂无分享,去创建一个
[1] Steffen Staab,et al. Ontology Engineering and Evolution in a Distributed World Using DILIGENT , 2009, Handbook on Ontologies.
[2] Michael Grüninger,et al. PSL: A semantic domain for flow models , 2005, Software & Systems Modeling.
[3] Asunción Gómez-Pérez,et al. METHONTOLOGY: From Ontological Art Towards Ontological Engineering , 1997, AAAI 1997.
[4] Michael Gruninger,et al. Methodology for the Design and Evaluation of Ontologies , 1995, IJCAI 1995.
[5] Michael Gruninger,et al. Using the PSL Ontology , 2009 .
[6] Mark S. Fox,et al. The Role of Competency Questions in Enterprise Engineering , 1995 .
[7] Steffen Staab,et al. On-To-Knowledge Methodology (OTKM) , 2004, Handbook on Ontologies.
[8] Michael Grüninger. The Ontological Stance for a Manufacturing Scenario , 2009, Cases on Semantic Interoperability for Information Systems Integration.
[9] Michael Gruninger. The Ontological Stance for a Manufacturing Scenario , 2009 .
[10] B. Parsia,et al. 11 Ontology Integration Using E-Connections , 2022 .
[11] Bijan Parsia,et al. Ontology Integration Using epsilon-Connections , 2009, Modular Ontologies.
[12] Michael Grüninger,et al. Using the PSL Ontology , 2009, Handbook on Ontologies.
[13] Michael Uschold,et al. Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.
[14] Asunción Gómez-Pérez,et al. Ontological Engineering: With Examples from the Areas of Knowledge Management, e-Commerce and the Semantic Web , 2004, Advanced Information and Knowledge Processing.
[15] Michael Grüninger,et al. Ontology of the Process Specification Language , 2004, Handbook on Ontologies.
[16] Martin L. King,et al. Towards a Methodology for Building Ontologies , 1995 .