The Domain Ontology and Domain Rules Based Requirements Model Checking
暂无分享,去创建一个
[1] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[2] Raphael Volz,et al. Visual Modeling of OWL DL Ontologies Using UML , 2004, International Semantic Web Conference.
[3] Vladan Devedzic,et al. A UML Profile for OWL Ontologies , 2004, MDAFA.
[4] Ian Horrocks,et al. A proposal for an owl rules language , 2004, WWW '04.
[5] Gerd Wagner. Rule Modeling and Markup , 2005, Reasoning Web.
[6] Thomas R. Gruber,et al. A translation approach to portable ontology specifications , 1993, Knowl. Acquis..
[7] Volker Haarslev,et al. Description of the RACER System and its Applications , 2001, Description Logics.
[8] Saeki Motoshi,et al. Using Domain Ontology as Domain Knowledge for Requirements Elicitation , 2006 .
[9] Wenyun Zhao,et al. An Ontology-Based Approach for Domain Requirements Elicitation and Analysis , 2006, First International Multi-Symposiums on Computer and Computational Sciences (IMSCCS'06).
[10] Jin Zhi. Ontology-Based Requirements Elicitation , 2000 .
[11] Wu Jia-chun. A Study on Ontology Model Based on Description Logics , 2003 .
[12] Pascal Hitzler,et al. A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies , 2006, ESWC.
[13] Stephen Fickas,et al. Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..
[14] Neil A. M. Maiden,et al. The Domain Theory for Requirements Engineering , 1998, IEEE Trans. Software Eng..