getObjectPropertyGraph(onto); EquivalencesDAGImpl<ObjectPropertyExpression> objectPropertyDAG = EquivalencesDAGImpl.getEquivalencesDAG(objectPropertyGraph); getDataPropertyGraph(onto); EquivalencesDAGImpl<DataPropertyExpression> dataPropertyDAG = EquivalencesDAGImpl.getEquivalencesDAG(dataPropertyGraph); EquivalencesDAGImpl.getEquivalencesDAG(getClassGraph(onto, objectPropertyGraph, dataPropertyGraph)); EquivalencesDAGImpl.getEquivalencesDAG(getDataRangeGraph(onto, dataPropertyGraph)); chooseObjectPropertyRepresentatives(objectPropertyDAG); chooseDataPropertyRepresentatives(dataPropertyDAG); chooseClassRepresentatives(classDAG, objectPropertyDAG, dataPropertyDAG); chooseDataRangeRepresentatives(dataRangeDAG, dataPropertyDAG);
return new ClassifiedTBoxImpl(impl.classes, impl.objectProperties, impl.dataProperties, impl.annotationProperties, classDAG, objectPropertyDAG, dataPropertyDAG, impl.dataRangeDAG, impl.classDisjointness, impl.objectPropertyDisjointness, impl.dataPropertyDisjointness,
return new ClassifiedTBoxImpl(impl.classes, impl.objectProperties, impl.dataProperties, impl.annotationProperties, classDAG, objectPropertyDAG, dataPropertyDAG, impl.dataRangeDAG, impl.classDisjointness, impl.objectPropertyDisjointness, impl.dataPropertyDisjointness,
getObjectPropertyGraph(onto); EquivalencesDAGImpl<ObjectPropertyExpression> objectPropertyDAG = EquivalencesDAGImpl.getEquivalencesDAG(objectPropertyGraph); getDataPropertyGraph(onto); EquivalencesDAGImpl<DataPropertyExpression> dataPropertyDAG = EquivalencesDAGImpl.getEquivalencesDAG(dataPropertyGraph); EquivalencesDAGImpl.getEquivalencesDAG(getClassGraph(onto, objectPropertyGraph, dataPropertyGraph)); EquivalencesDAGImpl.getEquivalencesDAG(getDataRangeGraph(onto, dataPropertyGraph)); chooseObjectPropertyRepresentatives(objectPropertyDAG); chooseDataPropertyRepresentatives(dataPropertyDAG); chooseClassRepresentatives(classDAG, objectPropertyDAG, dataPropertyDAG); chooseDataRangeRepresentatives(dataRangeDAG, dataPropertyDAG);