Author of the publication

OO-logic: a Successor of F-logic.

, and . RuleML+RR (Supplement), volume 2438 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)

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

Ontologies in F-logic., and . Handbook on Ontologies, Springer, (2004)Semantic Community Web Portals, , , , , , , , and . Computer Networks, 33 (1-6): 473-491 (1999)Special Issue: WWW9 - Proceedings of the 9th International World Wide Web Conference, Amsterdam, The Netherlands, May, 15-19, 2000.Taxonomie, Thesaurus, Topic Map, Ontologie – ein Vergleich, , and . (2004)Modula-2 an alternative to C?, and . ACM SIGPLAN Notices, 27 (4): 17-26 (1992)Survey on Ontology Tools, , , and . (2002)RUBEN: A Rule Engine Benchmarking Framework., , , and . RuleML+RR (Companion), volume 3229 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Halo I: A Controlled Experiment for Large Scale Knowledge Base Development., , , and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 26-39. Springer, (2005)Abschlußbericht der GI-Arbeitsgruppe "Vergleichende Analyse von Problemstellungen und Lösungsansätzen in den Fachgebieten Information Systems Engineering, Software Engineering und Knowledge Engineering"., and . Software Management, page 180-194. Vieweg+Teubner Verlag, (1997)Model-Based and Incremental Knowledge Engineering: The MIKE Approach., , , , and . AIFIPP, volume A-27 of IFIP Transactions, page 139-168. North-Holland, (1992)A state space analysis of propose-and-revise., and . Int. J. Intell. Syst., 14 (2): 165-194 (1999)