The goal of the 2010 Ontology Summit was to address the current shortage of persons with ontology expertise by developing a strategy for the education of ontologists. To achieve this goal we studied how ontologists are currently trained, the requirements identified by organizations that hire ontologists, and developments that might impact the training of ontologists in the future. We developed recommendations for the body of knowledge that should be taught and the skills that should be developed by future ontologists; these (...) recommendations are intended as guidelines for institutions and organizations that may consider establishing a program for training ontologists. Further, we recommend a number of specific actions for the community to pursue. (shrink)

Upper ontologies have traditionally arisen from the approach in which concepts that are common across a set of domains can be axiomatized at a general level. The rationale is that reuse across domains is to be supported through specialization of the general concepts from an upper ontology. Similarly, semantic integration between ontologies is to be achieved through the general concepts they specialize. The TUpper Ontology follows an alternative approach to the conventional upper ontology paradigm. Rather than think of an upper (...) ontology as a monolithic axiomatization centred on a taxonomy, the sideways approach considers an upper ontology to be a modular ontology composed of generic ontologies that cover concepts including those related to time, process, and space. TUpper is therefore composed of a set of generic ontologies, and each generic ontology axiomatizes a particular set of generic concepts. The TUpper Ontology is designed as a top-level ontology that contains modules from the ontologies within existing international standards. (shrink)

The Process Specification Language (PSL) has been designed to facilitate correct and complete exchange of process information among manufacturing systems, such as scheduling, process modeling, process planning, production planning, simulation, project management, work flow, and business process reengineering. We given an overview of the theories with the PSL ontology, discuss some of the design principles for the ontology, and finish with examples of process specifications that are based on the ontology.

The Ontology Summit 2012 explored the current and potential uses of ontology, its methods and paradigms, in big systems and big data: How ontology can be used to design, develop, and operate such systems. The systems addressed were not just software systems, although software systems are typically core and necessary components, but more complex systems that include multiple kinds and levels of human and community interaction with physical-software systems, systems of systems, and the socio-technical environments for those systems which can (...) include cultural, legal, and economic components. The focus themes used for this exploration were Big Systems Engineering, Big Data Challenge, Large Scale Domain Applications, and cross-cutting aspects Ontology Quality, and Federation and Integration of Systems. The Ontology Summit 2012 consisted of over three months of intensive virtual collaborative elaboration of these issues in presentations, panels, and group email. The culmination of these activities was a face-to-face Symposium at the US National Institute of Standards and Technology (NIST), Gaithersburg, MD, USA, 12–13 April 2012. The primary product of this Ontology Summit is the communiqué reported here. But there are other products, some continuing as collaborative, more specifically focused analysis and modeling efforts aligned with various open standards activities. Behind all of these particular products, of course, is the real overriding purpose of the Ontology Summit 2012, which was: the joint collaboration of three distinct communities, the ontology, systems engineering and big systems stakeholder communities, who came together to address common problems, create common understanding and propose common solutions. (shrink)

Process modeling is ubiquitous in business and industry. While a great deal of effort has been devoted to the formal and philosophical investigation of processes, surprisingly little research connects this work to real world process modeling. The purpose of this paper is to begin making such a connection. To do so, we first develop a simple mathematical model of activities and their instances based upon the model theory for the NIST Process Specification Language (PSL), a simple language for describing these (...) entities, and a semantics for the latter in terms of the former, and a set of axioms for the semantics based upon the NIST Process Specification Language (PSL). On the basis of this foundation, we then develop a general notion of a process model, and an account of what it is for such a model to be realized by a collection of events. (shrink)

This is a short editorial, maybe introducing editorial board members' changes.

Through contact algebras we study theories of mereotopology in a uniform way that clearly separates mereological from topological concepts. We identify and axiomatize an important subclass of closure mereotopologies called unique closure mereotopologies whose models always have orthocomplemented contact algebras , an algebraic counterpart. The notion of MT-representability, a weak form of spatial representability but stronger than topological representability, suffices to prove that spatially representable complete OCAs are pseudocomplemented and satisfy the Stone identity. Within the resulting class of contact algebras (...) the strength of the algebraic complementation delineates two classes of mereotopology according to the key ontological choice between mereological and topological closure operations. All closure operations are defined mereologically if and only if the corresponding contact algebras are uniquely complemented while topological closure operations highly restrict the contact relation but allow not uniquely complemented and nondistributive contact algebras. Each class contains a single ontologically coherent theory that admits discrete models. (shrink)