A Semantic Importing Approach to Reusing Knowledge from Multiple Autonomous Ontology Modules

We present the syntax and semantics of a modular ontology language \logic{SHOIQP} to accomplish knowledge integration from multiple ontologies and knowledge reuse from context-specific points of view. Specifically, a \logic{SHOIQP} ontology consists of multiple ontology modules (each of which can be viewed as a \logic{SHOIQ} ontology) and concept, role and nominal names can be shared by ``importing\u27\u27 relations among modules. The proposed language supports contextualized interpretation, i.e., interpretation from the point of view of a specific package. We establish the necessary and sufficient constraints on domain relations (i.e., the relations between individuals in different local domains) to preserve the satisfiability of concept formulae, monotonicity of inference, and transitive reuse of knowledge

Product, process and resource model coupling for knowledge-driven assembly automation

: Accommodating frequent product changes in a short period of time is a challenging task due to limitations of the contemporary engineering approach to design, build and reconfigure automation systems. In particular, the growing quantity and diversity of manufacturing information, and the increasing need to exchange and reuse this information in an efficient way has become a bottleneck. To improve the engineering process, digital manufacturing and Product, Process and Resource (PPR) modelling are considered very promising to compress development time and engineering cost by enabling efficient design and reconfiguration of manufacturing resources. However, due to ineffective coupling of PPR data, design and reconfiguration of assembly systems are still challenging tasks due to the dependency on the knowledge and experience of engineers. This paper presents an approach for data models integration that can be employed for coupling the PPR domain models for matching the requirements of products for assembly automation. The approach presented in this paper can be used effectively to link data models from various engineering domains and engineering tools. For proof of concept, an example implementation of the approach for modelling and integration of PPR for a Festo test rig is presented as a case study

Modularization for the Cell Ontology

One of the premises of the OBO Foundry is that development of an orthogonal set of ontologies will increase domain expert contributions and logical interoperability, and decrease maintenance workload. For these reasons, the Cell Ontology (CL) is being re-engineered. This process requires the extraction of sub-modules from existing OBO ontologies, which presents a number of practical engineering challenges. These extracted modules may be intended to cover a narrow or a broad set of species. In addition, applications and resources that make use of the Cell Ontology have particular modularization requirements, such as the ability to extract custom subsets or unions of the Cell Ontology with other OBO ontologies. These extracted modules may be intended to cover a narrow or a broad set of species, which presents unique complications.

We discuss some of these requirements, and present our progress towards a customizable simple-to-use modularization tool that leverages existing OWL-based tools and opens up their use for the CL and other ontologies

The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility

The Distributed Ontology Language (DOL) is currently being standardized within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3. It aims at providing a unified framework for (1) ontologies formalized in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) annotation of ontologies. This paper presents the current state of DOL's standardization. It focuses on use cases where distributed ontologies enable interoperability and reusability. We demonstrate relevant features of the DOL syntax and semantics and explain how these integrate into existing knowledge engineering environments.Comment: Terminology and Knowledge Engineering Conference (TKE) 2012-06-20 to 2012-06-21 Madrid, Spai

A Formal Context Representation Framework for Network-Enabled Cognition

Network-accessible resources are inherently contextual with respect to the specific situations (e.g., location and default assumptions) in which they are used. Therefore, the explicit conceptualization and representation of contexts is required to address a number of problems in Network- Enabled Cognition (NEC). We propose a context representation framework to address the computational specification of contexts. Our focus is on developing a formal model of context for the unambiguous and effective delivery of data and knowledge, in particular, for enabling forms of automated inference that address contextual differences between agents in a distributed network environment. We identify several components for the conceptualization of contexts within the context representation framework. These include jurisdictions (which can be used to interpret contextual data), semantic assumptions (which highlight the meaning of data), provenance information and inter-context relationships. Finally, we demonstrate the application of the context representation framework in a collaborative military coalition planning scenario. We show how the framework can be used to support the representation of plan-relevant contextual information

Pattern Definitions and Semantically Annotated Instances

Ontology design patterns are normally instantiated by replicating and adapting the pattern concepts and roles. The relation between pattern definitions and their instantiations is documented in natural language. The use of parametric ontologies or pattern-reuse modifications to OWL-DL has been suggested before, but so far only practical aspects have been analysed, leaving the formal semantics of these extensions as future work. In this work we present formal definitions for ontology pattern and pattern instantiations, together with the semantics of instantiation. We propose the use of semantic annotations to describe and generate OWL pattern instantiations, without the need for explicit ontology replication, and provide tools to support this processprovide tools to support this process

Requirements and Use Cases ; Report I on the sub-project Smart Content Enrichment

In this technical report, we present the results of the first milestone phase of the Corporate Smart Content sub-project "Smart Content Enrichment". We present analyses of the state of the art in the fields concerning the three working packages defined in the sub-project, which are aspect-oriented ontology development, complex entity recognition, and semantic event pattern mining. We compare the research approaches related to our three research subjects and outline briefly our future work plan