A formal taxonomy of types of mereological and meronymic part-whole relations is presented that distinguishes between transitive and intransitive relations and the kind of entity types that are related.
Investigation of assumptions that ontology developers will use a top-down approach by using a foundational ontology, because it purportedly speeds up ontology development and improves quality and interoperability of the domain ontology found that the 'cost' incurred spending time getting acquainted with a foundationalOntology compared to starting from scratch was more than made up for in size, understandability, and interoperable already within the limited time frame.
Formal ontologies are, however, more amenable to automated abstractions to improve understandability, and three ways of abstraction are defined with 11 abstraction functions that use foundational ontology categories.
This work describes four types of abstraction modules, which are modules that are created by altering a module’s language expressive power and has an effect on what is represented in the ontology.
A formal mapping between the software-supported ecological modeling method and software tool STELLA and ontology elements is created, which simplifies bottom-up ontology development considerably and has excellent potential for semi-automated ontological development.
This paper restricts FDs applicability to instances in the ABOX by specifying FD as a new constructor, an OWL concept, which gives ontology users data guarantees usually found in databases, integrated with the ontology conceptual model.
This paper gathers, analyse, and publicly release a set of 234 CQs and their translations to SPARQL-OWL for several ontologies in different domains developed by different groups, and analysed the relation between the found CQ patterns and the 46 SParQL-owL query signatures, which revealed that one CQ pattern may be realised by more than one SPARQ-OWl query signature, and vice versa.
Ontology development methodologies provide scenarios, but they do not address the dependencies between the permutations at the different stages in the development process, so the efficiency and effectiveness of this endeavour is improved.
The adolena ontology was developed, which is based on both the semantics in the database and augmented with notions from foundational and related domain ontologies, and demonstrated with OBDA queries unequivocally demonstrates its advantages compared to the portal’s keyword-based queries.