Author of the publication

Integration of Semiformal and Formal Methods for Specifying Knowledge-Based Systems.

, and . GI Jahrestagung, page 43-50. Springer, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Finding and Characterizing Changes in Ontologies., , , and . ER, volume 2503 of Lecture Notes in Computer Science, page 79-89. Springer, (2002)Semantic Web Enabled Web Services.. KI, volume 2479 of Lecture Notes in Computer Science, page 319-322. Springer, (2002)A Two-Layered Integration Approach for Product Information in B2B E-commerce., and . EC-Web, volume 2115 of Lecture Notes in Computer Science, page 226-239. Springer, (2001)Practical Knowledge Representation for the Web, and . Proceedings of the Workshop on Intelligent Information Integration (III99) during IJCAI-99, Stockholm, Sweden, August 1999, (2000)Enabling knowledge representation on the Web by extending RDF schema, , , , , and . Proc. of WWW 2001, page 467-478. ACM Press, (2001)KA2 Building Ontologies for the Internet A Midterm Report, , and . International Journal of Human Computer Studies, 51 (3): 687 (1999)OPC UA goes semantics: Integrated communications in smart grids., , and . ETFA, page 1-4. IEEE, (2011)ECAl'94 Workshop on Formal Specification Methods for Knowledge-bassed Systems.. Knowledge Eng. Review, 9 (4): 417-420 (1994)Semantically Enabled Service-Oriented Architectures, , , , , , , , , and 1 other author(s). Galway, Ireland, (September 2006)Domain Specific Semantic Validation of Schema.org Annotations, , , and . Perspectives of System Informatics, page 417--429. Cham, Springer International Publishing, (2018)