diff --git a/README-public.md b/README-public.md index 8d7fbbd..12a3aa6 100644 --- a/README-public.md +++ b/README-public.md @@ -1,13 +1,11 @@ # cmem-plugin-robotreason -Reasoning with Robot +This [eccenca](https://eccenca.com) [Corporate Memory](https://documentation.eccenca.com) workflow plugin performs reasoning using [ROBOT](http://robot.obolibrary.org/) (ROBOT is +an OBO Tool). It takes an OWL ontology and a data graph as inputs and writes the reasoning result to a specified graph. + +[ROBOT](http://robot.obolibrary.org/) is published under the [BSD 3-Clause "New" or "Revised" License](https://choosealicense.com/licenses/bsd-3-clause/). +Copyright © 2015, the Authors -This is a plugin for [eccenca](https://eccenca.com) [Corporate Memory](https://documentation.eccenca.com). -You can install it with the [cmemc](https://eccenca.com/go/cmemc) command line -clients like this: -``` -➜ task deploy -``` diff --git a/README.md b/README.md index e99f99b..29b35f4 100644 --- a/README.md +++ b/README.md @@ -1,9 +1,13 @@ + + # cmem-plugin-robotreason Reasoning with ROBOT This eccenca Corporate Memory workflow plugin performs reasoning using [ROBOT](http://robot.obolibrary.org/) (ROBOT is -an OBO Tool). It takes an OWL ontology and a data graph as inputs and writes the reasoning result to a specified graph. +an OBO Tool). It takes an OWL ontology and a data graph as inputs and writes the reasoning result to a specified graph. + +[![eccenca Corporate Memory](https://img.shields.io/badge/eccenca-Corporate%20Memory-orange)](https://documentation.eccenca.com) [![workflow](https://github.com/eccenca/cmem-plugin-pyshacl/actions/workflows/check.yml/badge.svg)](https://github.com/eccenca/cmem-plugin-pyshacl/actions) [![license](https://img.shields.io/pypi/l/cmem-plugin-pyshacl)](https://pypi.org/project/cmem-plugin-pyshacl) ## Build @@ -63,6 +67,30 @@ The following reasoner options are supported: - [Structural Reasoner](http://owlcs.github.io/owlapi/apidocs_4/org/semanticweb/owlapi/reasoner/structural/StructuralReasoner.html) (structural) - [Whelk](https://github.com/balhoff/whelk) (whelk) +### Generated Axioms + +By default, the reason operation will only assert inferred subclass axioms. The plugin provides the following +parameters to include inferred axiom generators: + +#### Class axiom generators +- SubClass +- EquivalentClass +- DisjointClasses + +#### Data property axiom generators +- DataPropertyCharacteristic +- EquivalentDataProperties +- SubDataProperty + +#### Individual axiom generators +- ClassAssertion +- PropertyAssertion +#### Object property axiom generators +- EquivalentObjectProperty +- InverseObjectProperties +- ObjectPropertyCharacteristic +- SubObjectProperty +- ObjectPropertyRange +- ObjectPropertyDomain -[![eccenca Corporate Memory](https://img.shields.io/badge/eccenca-Corporate%20Memory-orange)](https://documentation.eccenca.com)