|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
PropertyViewOntologyBuilder.buildViewOntology(IRI, IRI)
, but both O(P) and O(P)' have automatically
generated IRIs
OWLOntologyIRIMapper
using the mappings from a catalog.xml file.OWLOntology
.OWLGraphWrapper.getIncomingEdgesClosure(OWLObject s, boolean isComplete)
Mooncat.isDangling(OWLOntology, OWLEntity)
is true
OWLGraphWrapper.getIncomingEdgesClosure(OWLObject t)
, but allows the option of including
'complete' edge list.
PropertyViewOntologyBuilder.buildInferredViewOntology(OWLReasoner)
Note that O(P) and O(P)' can share the same object,
i.e the assertedViewOntology is augmented to become the inferred view ontology
OWLGraphWrapper.getIncomingEdgesClosure(OWLObject s, boolean isComplete)
OWLOntology
as the source ontology
OBOFormatWriter
using an OWLGraphWrapper
.ReasonerDiff
as command-line tool.Similarity
).OWLClass
for the given id.
OWLClass
OWLEquivalentClassesAxiom
of the OWLClass
.
OWLClass
for the given id.
OWLClass
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |