Titlebook: Synergies Between Knowledge Engineering and Software Engineering; Grzegorz J. Nalepa,Joachim Baumeister Book 2018 Springer International P

仔细检查

暂时中止

Metamarket – Modelling User Actions in the Digital Worldn of many of the challenges and can lower the cost and complexity of developing these applications. In addition, Metamarket can be used to develop intelligent UX applications, responsive to user needs, and it can be extended towards modeling emotions.

BULLY

膝盖

Aspect-Oriented Ontology Developmentlarization and metamodeling by adding support for reified axioms. The book chapter describes the syntax and semantics of Aspect-Oriented Ontology Development, explains its benefits and possible weaknesses as compared to other existing modularization approaches and presents a set of application scena

协议

Inoperable

Mutter

Rinne-Test

Knowledge Engineering of System Refinement What We Learnt from Software Engineeringpter provides a formal method to refine a knowledge base based on insides about its correctness derived from its use in practice. The objective of this refinement technique is to overcome particular invalidities revealed by the application of a case-oriented validation technology, i.e. it is some ki

争吵加

Using the Event-B Formal Method and the Rodin Framework for Verification the Knowledge Base of an Ruse systems. While validation ensures the compliance of a developed knowledge base with the initial requirements, the verification ensures that the knowledge base is logically consistent. Our work is focused on the verification activity, which is a difficult task that mainly consists in determination

有毒