Re: Using non-atomic concepts on the left-hand side of a statement

Posted by Jiba on
URL: http://owlready.306.s1.nabble.com/Using-non-atomic-concepts-on-the-left-hand-side-of-a-statement-tp2706p2707.html

Hi,

Non-atomic concepts on the left-hand side can only be supported with general axioms, but Owlready has very limited support for that yet.

The easier solution is to create a named class that is equivalent to the non-atomic concept, e.g.

class HumanOrInfected(Thing):
    namespace = on
    equivalent_to = [Human | Infected]

HumanOrInfected.is_a.append(Infectious)


Jiba