org.geneontology:expression-materializing-reasoner

An OWL reasoner extension for quering over existential restrictions

License	The BSD 3-Clause License
GroupId	org.geneontology
ArtifactId	expression-materializing-reasoner
Last Version	0.1.3
Release Date	May 31, 2016
Type	jar
Description	org.geneontology:expression-materializing-reasoner An OWL reasoner extension for quering over existential restrictions
Project URL	https://github.com/owlcollab/expression-materializing-reasoner
Source Code Management	https://github.com/owlcollab/expression-materializing-reasoner

Download expression-materializing-reasoner

Filename	Size
expression-materializing-reasoner-0.1.3.pom
expression-materializing-reasoner-0.1.3.jar	12 KB
expression-materializing-reasoner-0.1.3-sources.jar	6 KB
expression-materializing-reasoner-0.1.3-javadoc.jar	45 KB

How to add to project

Apache Maven

<!-- https://jarcasting.com/artifacts/org.geneontology/expression-materializing-reasoner/ -->
<dependency>
    <groupId>org.geneontology</groupId>
    <artifactId>expression-materializing-reasoner</artifactId>
    <version>0.1.3</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/org.geneontology/expression-materializing-reasoner/
implementation 'org.geneontology:expression-materializing-reasoner:0.1.3'

Gradle Kotlin

// https://jarcasting.com/artifacts/org.geneontology/expression-materializing-reasoner/
implementation ("org.geneontology:expression-materializing-reasoner:0.1.3")

Apache Buildr

'org.geneontology:expression-materializing-reasoner:jar:0.1.3'

Apache Ivy

<dependency org="org.geneontology" name="expression-materializing-reasoner" rev="0.1.3">
  <artifact name="expression-materializing-reasoner" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='org.geneontology', module='expression-materializing-reasoner', version='0.1.3')
)

Scala SBT

libraryDependencies += "org.geneontology" % "expression-materializing-reasoner" % "0.1.3"

Leiningen

[org.geneontology/expression-materializing-reasoner "0.1.3"]

Dependencies

compile (1)

Group / Artifact	Type	Version
net.sourceforge.owlapi : owlapi-distribution	jar	4.2.5

test (4)

Group / Artifact	Type	Version
junit : junit	jar	4.12
org.semanticweb.elk : elk-owlapi	jar	0.4.3
net.sourceforge.owlapi : org.semanticweb.hermit	jar	1.3.8.413
org.slf4j : slf4j-log4j12	jar	1.7.10

Project Modules

There are no modules declared in this project.

This wraps an existing reasoner to implement OWLExtendedReasoner.

It works by materializing expressions of the form "R some Y" as equivalence axioms prior to reasoning.

After reasoning, it can retrieve these anonymous superclasses.

Currently limited to a single level of nesting - in principle it could be extended to expressions of depth k

In terms of performance the biggest impact are the number of OWLObjectProperties for which the materialization is required. It is usually NOT recommended to use all properties of an ontology signature.

This version was designed and implemented by @cmungall

owl collaboratory

Tooling for OWL that is the combined efforts of GO, Monarch, BBOP, BgeeDb and other orgs

Versions

Version
0.1.3 May 31, 2016