|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
EXCEPTION
an exception is thrown when the reasoner
encounters an undefined (and unsupported) datatype.
this
and set
.
this
and ds
.
OWL.or(OWLDescription...)
OWL.or(Set extends OWLDescription)
instead
#addUnprunedIndividual(Individual)
) since the previous
IncrementalChangeTracker.clear()
ParserFactory
for the TerpSyntax
IncrementalChangeTracker.addUpdatedIndividual(Individual)
) since the previous
IncrementalChangeTracker.clear()
Expressivity
by adding
the new @{link aterm.ATermAppl}.
|
||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |