This is a plugin for OAK that wraps ROBOT

It provides a RobotImplementation (see implementations of an OntologyInterface, so far this only implements a portion of the ValidatorInterface

Currently this is more of a demonstrator/proof of concept than a useful tool. For most purposes you will likely want to simply use robot on the command line tool

This plugin registers the robot scheme

Use robot:path/to/ontology.owl as the selector

1. Install robot
2. Start robot python

run:

robot python &

The test folder contains an ontology with a deliberate error:

runoak -i robot:tests/input/go-nucleus-unsat.owl validate

yields:

See tests

from oaklib.selector import get_resource_from_shorthand, discovered_plugins, get_implementation_from_shorthand
from oakx_robot.robot_implementation import RobotImplementation, OWL_NOTHING

path = 'tests/input/go-nucleus-unsat.owl'
oi = get_implementation_from_shorthand(f'robot:{path}')
if oi.is_coherent():
    print('Congratulations! The ontology is coherent')
else:
    print('Reasoner detected usatisfiable classes')
    for c in oi.unsatisfiable_classes():
        print(f'Unsatisfiable: {c}')

See robot/python

• Implement OwlInterface
• Implement more reasoning operations
• Allow selection of different reasoners