Hello all,
I'm trying to programmatically construct the axiom

C SubClassOf ( inverse(P) some D)

I'd hoped to do something like:

ObjectProperty = inverseP.createObjectProperty();
inverseP.addInverseOf( m.getObjectProperty( NS + "P" ) );
m.createClass( NS + "C" )
  .addSubClass( m.createSomeValuesFromRestriction( null, inverseP,
m.getOntClass( NS + "D" ) ) );

but this doesn't work, since there's no version of
createObjectProperty that doesn't require any arguments, and the
String argument to createObjectProperty is required to be non-null.
At the same time, the axiom construction seems to be simple enough, so
I figure someone must know how to get an ObjectProperty for something
like inverse(P) without having given it a name.  What's the trick?

Thanks in advance,
//JT

-- 
Joshua Taylor, http://www.cs.rpi.edu/~tayloj/

Reply via email to