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

Web Service Modeling Ontology, , , , , , , , , and . Applied Ontology, 1 (1): 77-106 (2005)Near-Term Prospects for Semantic Technologies, , , , , , , , , and . IEEE Intelligent Systems, 23 (1): 76-88 (2008)Enabling Semantic Web Services: The Web Service Modeling Ontology, , , , , and . Springer, Berlin, (2006)A formal approach for customization of schema.org based on SHACL., , , , and . CoRR, (2019)Internet of Services: Herausforderung und Potenzial.. Internet der Dienste, Springer, (2011)The Relation between Ontologies and Schema-Languages: Translating OIL-Specifications in XML-Schema, , , and . Proceedings of the Workshop on Applications of Ontologies and Problem-solving Methods, 14th European Conference on Artificial Intelligence (ECAI 2000), Berlin, Germany, (August 2000)Research and Advanced Technologies for Digital Libraries, , , and . chapter Ontobroker in a Nutshell, Springer-Verlag, (1998)Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering, , and . ECAI, page 408-412. John Wiley and Sons, Chichester, (1996)MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems., and . ECAI, page 423-427. John Wiley and Sons, Chichester, (1996)Web Service Discovery–A Reality Check, , , and . (2006)