oakx-robot: A robot plugin for OAK

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

Selector

This plugin registers the robot scheme

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

Initial Setup

1. Install robot
2. Start robot python

run:

robot python &

Command Line

The test folder contains an ontology with a deliberate error:

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

yields:

type	severity	subject	instantiates	predicate	object	object_str	source	info
owl:Nothing	ERROR	GO:0031965	None	None	None	None	None	None

Programmatic

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}')

How it works

See robot/python

TODO

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