Modelling Discourse-related terminology in OntoLingAnnot’s ontologies

Recently, computational linguists have shown great interest in discourse annotation in an attempt to capture the internal relations in texts. With this aim, we have formalized the linguistic knowledge associated to discourse into different linguistic ontologies. In this paper, we present the most prominent discourse-related terms and concepts included in the ontologies of the OntoLingAnnot annotation model. They show the different units, values, attributes, relations, layers and strata included in the discourse annotation level of the OntoLingAnnot model, within which these ontologies are included, used and evaluated

Univocity, Duality, and Ideal Genesis: Deleuze and Plato

In this essay, we consider the formal and ontological implications of one specific and intensely contested dialectical context from which Deleuze’s thinking about structural ideal genesis visibly arises. This is the formal/ontological dualism between the principles, ἀρχαί, of the One (ἕν) and the Indefinite/Unlimited Dyad (ἀόριστος δυάς), which is arguably the culminating achievement of the later Plato’s development of a mathematical dialectic.3 Following commentators including Lautman, Oskar Becker, and Kenneth M. Sayre, we argue that the duality of the One and the Indefinite Dyad provides, in the later Plato, a unitary theoretical formalism accounting, by means of an iterated mixing without synthesis, for the structural origin and genesis of both supersensible Ideas and the sensible particulars which participate in them. As these commentators also argue, this duality furthermore provides a maximally general answer to the problem of temporal becoming that runs through Plato’s corpus: that of the relationship of the flux of sensory experiences to the fixity and order of what is thinkable in itself. Additionally, it provides a basis for understanding some of the famously puzzling claims about forms, numbers, and the principled genesis of both attributed to Plato by Aristotle in the Metaphysics, and plausibly underlies the late Plato’s deep considerations of the structural paradoxes of temporal change and becoming in the Parmenides, the Sophist, and the Philebus. After extracting this structure of duality and developing some of its formal, ontological, and metalogical features, we consider some of its specific implications for a thinking of time and ideality that follows Deleuze in a formally unitary genetic understanding of structural difference. These implications of Plato’s duality include not only those of the constitution of specific theoretical domains and problematics, but also implicate the reflexive problematic of the ideal determinants of the form of a unitary theory as such. We argue that the consequences of the underlying duality on the level of content are ultimately such as to raise, on the level of form, the broader reflexive problem of the basis for its own formal or meta-theoretical employment. We conclude by arguing for the decisive and substantive presence of a proper “Platonism” of the Idea in Deleuze, and weighing the potential for a substantive recuperation of Plato’s duality in the context of a dialectical affirmation of what Deleuze recognizes as the “only” ontological proposition that has ever been uttered. This is the proposition of the univocity of Being, whereby “being is said in the same sense, everywhere and always,” but is said (both problematically and decisively) of difference itself

Improving automation standards via semantic modelling: Application to ISA88

Standardization is essential for automation. Extensibility, scalability, and reusability are important features for automation software that rely in the efficient modelling of the addressed systems. The work presented here is from the ongoing development of a methodology for semi-automatic ontology construction methodology from technical documents. The main aim of this work is to systematically check the consistency of technical documents and support the improvement of technical document consistency. The formalization of conceptual models and the subsequent writing of technical standards are simultaneously analyzed, and guidelines proposed for application to future technical standards. Three paradigms are discussed for the development of domain ontologies from technical documents, starting from the current state of the art, continuing with the intermediate method presented and used in this paper, and ending with the suggested paradigm for the future. The ISA88 Standard is taken as a representative case study. Linguistic techniques from the semi-automatic ontology construction methodology is applied to the ISA88 Standard and different modelling and standardization aspects that are worth sharing with the automation community is addressed. This study discusses different paradigms for developing and sharing conceptual models for the subsequent development of automation software, along with presenting the systematic consistency checking methodPeer ReviewedPostprint (author's final draft

Exploiting conceptual spaces for ontology integration

The widespread use of ontologies raises the need to integrate distinct conceptualisations. Whereas the symbolic approach of established representation standards – based on first-order logic (FOL) and syllogistic reasoning – does not implicitly represent semantic similarities, ontology mapping addresses this problem by aiming at establishing formal relations between a set of knowledge entities which represent the same or a similar meaning in distinct ontologies. However, manually or semi-automatically identifying similarity relationships is costly. Hence, we argue, that representational facilities are required which enable to implicitly represent similarities. Whereas Conceptual Spaces (CS) address similarity computation through the representation of concepts as vector spaces, CS rovide neither an implicit representational mechanism nor a means to represent arbitrary relations between concepts or instances. In order to overcome these issues, we propose a hybrid knowledge representation approach which extends FOL-based ontologies with a conceptual grounding through a set of CS-based representations. Consequently, semantic similarity between instances – represented as members in CS – is indicated by means of distance metrics. Hence, automatic similarity detection across distinct ontologies is supported in order to facilitate ontology integration

Towards automated knowledge-based mapping between individual conceptualisations to empower personalisation of Geospatial Semantic Web

Geospatial domain is characterised by vagueness, especially in the semantic disambiguation of the concepts in the domain, which makes defining universally accepted geo- ontology an onerous task. This is compounded by the lack of appropriate methods and techniques where the individual semantic conceptualisations can be captured and compared to each other. With multiple user conceptualisations, efforts towards a reliable Geospatial Semantic Web, therefore, require personalisation where user diversity can be incorporated. The work presented in this paper is part of our ongoing research on applying commonsense reasoning to elicit and maintain models that represent users' conceptualisations. Such user models will enable taking into account the users' perspective of the real world and will empower personalisation algorithms for the Semantic Web. Intelligent information processing over the Semantic Web can be achieved if different conceptualisations can be integrated in a semantic environment and mismatches between different conceptualisations can be outlined. In this paper, a formal approach for detecting mismatches between a user's and an expert's conceptual model is outlined. The formalisation is used as the basis to develop algorithms to compare models defined in OWL. The algorithms are illustrated in a geographical domain using concepts from the SPACE ontology developed as part of the SWEET suite of ontologies for the Semantic Web by NASA, and are evaluated by comparing test cases of possible user misconceptions

OntoEng: A design method for ontology engineering in information systems

This paper addresses the design problem relating to ontology engineering in the discipline of information systems. Ontology engineering is a realm that covers issues related to ontology development and use throughout its life span. Nowadays, ontology as a new innovation promises to improve the design, semantic integration, and utilization of information systems. Ontologies are the backbone of knowledge-based systems. In addition, they establish sharable and reusable common understanding of specific domains amongst people, information systems, and software agents. Notwithstanding, the ontology engineering literature does not provide adequate guidance on how to build, evaluate, and maintain ontologies. On the basis of the gathered experience during the development of V4 Telecoms Business Model Ontology as well as the conducted integration of the related literature from the design science paradigm, this paper introduces OntoEng and its application as a novel systematic design method for ontology engineering

Ontology-based patterns for the integration of business processes and enterprise application architectures

Increasingly, enterprises are using Service-Oriented Architecture (SOA) as an approach to Enterprise Application Integration (EAI). SOA has the potential to bridge the gap between business and technology and to improve the reuse of existing applications and the interoperability with new ones. In addition to service architecture descriptions, architecture abstractions like patterns and styles capture design knowledge and allow the reuse of successfully applied designs, thus improving the quality of software. Knowledge gained from integration projects can be captured to build a repository of semantically enriched, experience-based solutions. Business patterns identify the interaction and structure between users, business processes, and data. Specific integration and composition patterns at a more technical level address enterprise application integration and capture reliable architecture solutions. We use an ontology-based approach to capture architecture and process patterns. Ontology techniques for pattern definition, extension and composition are developed and their applicability in business process-driven application integration is demonstrated