The OWL reasoner evaluation (ORE) 2015 competition report
Abstract The OWL Reasoner Evaluation competition is an annual competition (with an
associated workshop) that pits OWL 2 compliant reasoners against each other on various …
associated workshop) that pits OWL 2 compliant reasoners against each other on various …
A systematic analysis of term reuse and term overlap across biomedical ontologies
Reusing ontologies and their terms is a principle and best practice that most ontology
development methodologies strongly encourage. Reuse comes with the promise to support …
development methodologies strongly encourage. Reuse comes with the promise to support …
[كتاب][B] Web of data
A Hogan, A Hogan - 2020 - Springer
This chapter discusses the abstract concepts necessary to realise a Web of Data. We
discuss how the content on the Web can be represented as graph-structured data in order to …
discuss how the content on the Web can be represented as graph-structured data in order to …
The ten-year ontofarm and its fertilization within the onto-sphere
OntoFarm is a collection of heterogeneously structured ontologies describing the same
domain (conference organization). It has been repeatedly used for benchmarking purposes …
domain (conference organization). It has been repeatedly used for benchmarking purposes …
Uniform interpolation and forgetting for ALC ontologies with ABoxes
Uniform interpolation and the dual task of forgetting restrict the ontology to a specified subset
of concept and role names. This makes them useful tools for ontology analysis, ontology …
of concept and role names. This makes them useful tools for ontology analysis, ontology …
Introducing defeasibility into OWL ontologies
In recent years, various approaches have been developed for representing and reasoning
with exceptions in OWL. The price one pays for such capabilities, in terms of practical …
with exceptions in OWL. The price one pays for such capabilities, in terms of practical …
[PDF][PDF] Restricted Chase (Non) Termination for Existential Rules with Disjunctions.
The restricted chase is a sound and complete algorithm for conjunctive query answering
over ontologies of disjunctive existential rules. We develop acyclicity conditions to ensure its …
over ontologies of disjunctive existential rules. We develop acyclicity conditions to ensure its …
A survey of large-scale reasoning on the web of data
As more and more data is being generated by sensor networks, social media and
organizations, the Web interlinking this wealth of information becomes more complex. This is …
organizations, the Web interlinking this wealth of information becomes more complex. This is …
[كتاب][B] Practical uniform interpolation for expressive description logics
P Koopmann - 2015 - search.proquest.com
The thesis investigates methods for uniform interpolation in expressive description logics.
Description logics are formalisms commonly used to model ontologies. Ontologies store …
Description logics are formalisms commonly used to model ontologies. Ontologies store …
Expressibility of OWL axioms with patterns
The high expressivity of the Web Ontology Language (OWL) makes it possible to describe
complex relationships between classes, roles, and individuals in an ontology. However, this …
complex relationships between classes, roles, and individuals in an ontology. However, this …