Collaborative development of a shared or standardized ontology presents unique issues in workflow, version control, testing, and quality control. These challenges are similar to challenges faced in large-scale collaborative software development. We have taken this idea as the basis of a collaborative ontology development platform based on familiar software tools, including Continuous Integration platforms, version control systems, testing platforms, and review workflows. We have implemented these using open-source versions of each of these tools, and packaged them into a full-service collaborative platform for collaborative ontology development. This platform has been used in the development of FIBO, the Financial Industry Business Ontology, an ongoing collaborative effort that has been developing and maintaining a set of ontologies for over a decade. The platform is open-source and is being used in other projects beyond FIBO. We hope to continue this trend and improve the state of practice of collaborative ontology design in many more industries.

We address the problem of the access to the results of scientific publications in the agri-food domain.We focus on the description of main contributions of the papers treating them as accepted or rejected beliefs of their authors expressed in the form of scientific laws.We define the structure of different kinds of scientific laws present in the domain in the form of an ontology.The main concern of the paper is a process in which we proceed from the abstracts of papers to the ontological representation of laws.Moreover, we present examples of SPARQL queries which show how the resulting knowledge base can be used.Among the uses we point out discovering new scientific hypotheses and incoherencies among scientific laws.

The aim of this article is to provide a metalogical systematization in the area of deontic action logic based on Boolean algebra. Differences among the systems involve two aspects: the level of closedness of a deontic action logic and the possibility of performing no action at all. It is also shown that the existing definitions of obligation in these systems are unacceptable due to their non-intuitive interpretation or paradoxical consequences. As a solution we propose a minimal axiomatic characterization of obligation with an adequate class of models. This article also describes how deontic action logic can be used to answer the questions from the Polish driving license test.

The paper presents preliminary results in the area of ontological engineering for historical research. Historical information systems are still in the initial stage of development. Our experience hitherto shows that the decisive stage in the development of such systems is a conceptual model and ontological engineering seems to be the right tool to build it. Our particular aim is to develop a database system for the history of the administrative structure of the Catholic Church in Central-Eastern Europe in the so-called pre-statical period, i.e. roughly from XII to XIX century. We use DOLCE as a foundational ontology, especially its part concerning social objects. We build an axiomatic system that formally defines the basic notions of those structures and may be interpreted as the conceptual scheme of this database.