Skip to content

Commit

Permalink
ruff error fixed
Browse files Browse the repository at this point in the history
  • Loading branch information
Demirrr committed Sep 18, 2024
1 parent 32198ff commit c78ab2f
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions tests/test_reasoner_alc_father_ontology.py
Original file line number Diff line number Diff line change
Expand Up @@ -18,11 +18,10 @@ def test_readme(self):
# Female OWL CLass
female = eval("OWLClass(IRI('http://example.com/father#', 'female'))")
# hasChild object property
hasChild = eval("OWLObjectProperty(IRI('http://example.com/father#', 'hasChild'))")
hasChild = OWLObjectProperty(IRI('http://example.com/father#', 'hasChild'))

# Things
assert hermit.instances(thing) == eval(
"{OWLNamedIndividual(IRI('http://example.com/father#', 'anna')), OWLNamedIndividual(IRI('http://example.com/father#', 'martin')), OWLNamedIndividual(IRI('http://example.com/father#', 'heinz')), OWLNamedIndividual(IRI('http://example.com/father#', 'stefan')), OWLNamedIndividual(IRI('http://example.com/father#', 'michelle')), OWLNamedIndividual(IRI('http://example.com/father#', 'markus'))}")
assert hermit.instances(thing) == {OWLNamedIndividual(IRI('http://example.com/father#', 'anna')), OWLNamedIndividual(IRI('http://example.com/father#', 'martin')), OWLNamedIndividual(IRI('http://example.com/father#', 'heinz')), OWLNamedIndividual(IRI('http://example.com/father#', 'stefan')), OWLNamedIndividual(IRI('http://example.com/father#', 'michelle')), OWLNamedIndividual(IRI('http://example.com/father#', 'markus'))}

# hasChild a thing.
assert hermit.instances(OWLObjectSomeValuesFrom(property=hasChild, filler=thing)) == eval(
Expand Down

0 comments on commit c78ab2f

Please sign in to comment.