public interface LogicOntologyNetwork extends OntologyNetwork
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getSemantics() |
boolean |
isConsistent() |
boolean |
isEntailed(Alignment al) |
void |
setSemantics(java.lang.String s) |
addAlignment, addOntology, getAlignments, getAlignments, getOntologies, getSourceAlignments, getTargetingAlignments, invert, remAlignment, remOntology
void setSemantics(java.lang.String s)
java.lang.String getSemantics()
boolean isConsistent() throws AlignmentException
AlignmentException
boolean isEntailed(Alignment al) throws AlignmentException
AlignmentException
(C) INRIA & friends, 2003-2020