%0 Journal Article %1 Angele98developingknowledge-based %A Angele, J. %A Fensel, D. %A Landes, D. %A Studer, R. %D 1998 %J Journal of Automated Software Engineering %K imported %P 389--418 %T Developing Knowledge-Based Systems with MIKE %U http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.2847 %V 5 %X The paper describes the MIKE (Model-based and Incremental Knowledge Engineering) approach for developing knowledge-based systems. MIKE integrates semiformal and formal specification techniques together with prototyping into a coherent framework. All activities in the building process of a knowledge-based system are embedded in a cyclic process model. For the semiformal representation we use a hypermedia-based formalism which serves as a communication basis between expert and knowledge engineer during knowledge acquisition. The semiformal knowledge representation is also the basis for formalization, resulting in a formal and executable model specified in the Knowledge Acquisition and Representation Language (KARL). Since KARL is executable, the model of expertise can be developed and validated by prototyping. A smooth transition from a semiformal to a formal specification and further on to design is achieved because all the description techniques rely on the same conceptual model to des...

@article{Angele98developingknowledge-based, abstract = {The paper describes the MIKE (Model-based and Incremental Knowledge Engineering) approach for developing knowledge-based systems. MIKE integrates semiformal and formal specification techniques together with prototyping into a coherent framework. All activities in the building process of a knowledge-based system are embedded in a cyclic process model. For the semiformal representation we use a hypermedia-based formalism which serves as a communication basis between expert and knowledge engineer during knowledge acquisition. The semiformal knowledge representation is also the basis for formalization, resulting in a formal and executable model specified in the Knowledge Acquisition and Representation Language (KARL). Since KARL is executable, the model of expertise can be developed and validated by prototyping. A smooth transition from a semiformal to a formal specification and further on to design is achieved because all the description techniques rely on the same conceptual model to des...}, added-at = {2009-09-30T00:35:30.000+0200}, author = {Angele, J. and Fensel, D. and Landes, D. and Studer, R.}, biburl = {https://www.bibsonomy.org/bibtex/29d85a5401291480b1a05e237a76f7f2a/miuhhh}, description = {Developing Knowledge-Based Systems with MIKE}, interhash = {58a40aea55ad6ca3a07a66e94acd577e}, intrahash = {9d85a5401291480b1a05e237a76f7f2a}, journal = {Journal of Automated Software Engineering}, keywords = {imported}, pages = {389--418}, timestamp = {2009-09-30T00:35:30.000+0200}, title = {Developing Knowledge-Based Systems with MIKE}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.2847}, volume = 5, year = 1998 }