This paper compares the semantics (or stated more precise: an interpretation of the intended semantics) of RDF [11] and RDFS [4] (as previously captured in [5]) with the semantics defined by the new upcoming RDF Model Theory [9]. While the RDF Model Theory Draft (MT) relies on set theory, we interpret the MT utilizing a horn subset of first order logic. On one hand, this may facilitate comprehensibility, on the other hand it may lead more directly to verifiable implementations. The comparison clearly demonstrates the differences between both interpretations and discusses some consequence of the non-backward compatible treatment of range/domain properties. It may thus help active developers to understand the consequences of the changes for existing RDF schemata and to adapt their RDF/RDFS applications accordingly where possible.

As the complexity of industrial processes increases, it requires the use of intelligent sensors or actuators (known as Intelligent Instruments) to allow for more comprehensive and efficient behavior of the system to be monitored. These components achieve some global goal called a service through the use of a set of ele-mentary actions (internal services). A challenging task in networked intelligent sensors/actuators, is to allow for automated interactions between arbitrary services on networked components. To resolve this task, two suc-cessive problems emerge, first the design of consistent control systems with appropriate knowledge and second the monitoring which concerns the dynamic behavior of such distributed control systems. In this paper, we fo-cus on the first aspect and provide an implementation of a knowledge representation model where services can be structured and related via a mereo-topological ap-proach. The domain ontologies include a system ontol-ogy which is application-dependent, a functional ontol-ogy which relies on teleology and a behavioral mereo-topology extending the functional mereology. To sup-port the behavior representation, we propose a GUI based on a modified existing formalism (DAML-S). We discuss the knowledge representations in depth and present the design supporting system centered on the mereo-topological approach for intelligent sensors and actuators