Lines Matching refs:t2
505 public boolean isEquivalent(OWLType t1, OWLType t2) {
506 if(t1.equals(t2))
508 if(t1 instanceof OWLClass && t2 instanceof OWLClass) {
512 (Resource) t2.getImplementation());
515 if(t1 instanceof OWLDataType && t2 instanceof OWLDataType)
516 return t1.equals(t2);
524 public boolean isDisjoint(OWLType t1, OWLType t2) {
525 if(t1 instanceof OWLClass && t2 instanceof OWLClass)
526 return isDisjoint((OWLClass) t1, (OWLClass) t2);
528 if(t1 instanceof OWLDataType && t2 instanceof OWLDataType)
529 return !isEquivalent(t1, t2);
1348 public boolean isSubTypeOf(OWLDataType t1, OWLDataType t2) {
1350 return t1.equals(t2);
1353 public boolean isSubTypeOf(OWLType t1, OWLType t2) {
1354 if(t1 instanceof OWLClass && t2 instanceof OWLClass)
1355 return isSubClassOf((OWLClass) t1, (OWLClass) t2);
1356 if(t1 instanceof OWLDataType && t2 instanceof OWLDataType)
1357 return isSubTypeOf((OWLDataType) t1, (OWLDataType) t2);