Markus Moschner

Learn More
Knowledge bases that represent some domain expertise for use in a formal system typically serve one of two major purposes: (1) inferencing in some problem-solving context, or (2) interfacing the system by natural language. Interfacing may be for accessing the system's functionality or for presenting its results. Techniques for addressing the natural(More)
Major purposes underlying the functionality of formal systems include reasoning services and presentation facilities, prominently their systematic coordination. An important role in this coordination is played by the ontology and its underlying organization principles exhibited in the systems' knowledge bases. We address this issue by presenting speci c(More)
In this paper S, X denote non empty sets and R denotes a binary relation on X. We consider orthorelational structures, extensions of relational structure and ComplStr, as systems 〈 a carrier, an internal relation, a complement operation 〉, where the carrier is a set, the internal relation is a binary relation on the carrier, and the complement operation is(More)
In this paper S, X denote non empty sets and R denotes a binary relation on X . We introduce orthorelational structures which are extensions of relational structure and ComplStr and are systems 〈 a carrier, an internal relation, a complement operation 〉, where the carrier is a set, the internal relation is a binary relation on the carrier, and the(More)
Veri cation of hybrid systems is a challenging task. Unlike many other veri cation methods the approach proposed in [21] avoids approximations and operates directly on the original system speci cations. This approach, however, requires the solution of non-trivial mathematical subtasks. We propose to model those kinds of subtasks that are suitable for being(More)