Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom

39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
  public static Set<String> getClsValueObjectProperty(OWLOntology ont, String clsuri, String propuri) {
    Set<String> valset = new HashSet<String>();
    Set<OWLClassExpression> clsex = factory.getOWLClass(IRI.create(clsuri)).getSuperClasses(ont);
    for(OWLClassExpression oneclsex : clsex){
      if(oneclsex instanceof OWLObjectSomeValuesFrom){
        OWLObjectSomeValuesFrom hasvalex = (OWLObjectSomeValuesFrom)oneclsex;
        if(hasvalex.getProperty().asOWLObjectProperty().getIRI().toString().equals(propuri)){
          if(hasvalex.isAnonymous()){
            //System.out.println("Value for " + hasvalex.toString() + " (" + propuri + ") is anonymous");
//            hasvalex.
          }
//          else{
            valset.add(hasvalex.getFiller().asOWLClass().getIRI().toString());
//          }
        }
      }
    }
    return valset;
View Full Code Here
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
    OWLClassExpression classD = OWL.Class( "D" );
    OWLClassExpression classE = OWL.Class( "E" );
    OWLObjectProperty propertyP = OWL.ObjectProperty( "p" );
    SWRLVariable variable = SWRL.variable( "x" );

    OWLObjectSomeValuesFrom restriction = OWL.some( propertyP, classD );

    // C(?x)
    bodyAtoms.add( SWRL.classAtom( classC, variable ) );
    // Ep.D(?x)
    headAtoms.add( SWRL.classAtom( restriction, variable ) );
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
                sb.append(" \u2229 ");
                sb.append(formatClassExpression(ops.get(i), ont));
            }
            return sb.toString();
        } else if (ce instanceof OWLObjectSomeValuesFrom) {
            OWLObjectSomeValuesFrom osv = (OWLObjectSomeValuesFrom) ce;
            OWLObjectPropertyExpression ope = osv.getProperty();
            String role = (!ope.isAnonymous()) ? getLabel(
                    ope.asOWLObjectProperty(), ont) : ope.toString();
            return "\u2203" + role + ".("
                    + formatClassExpression(osv.getFiller(), ont) + ")";
        } else {
            return ce.toString();
        }
    }
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
                sb.append(" \u2229 ");
                sb.append(formatClassExpression(ops.get(i), ont));
            }
            return sb.toString();
        } else if (ce instanceof OWLObjectSomeValuesFrom) {
            OWLObjectSomeValuesFrom osv = (OWLObjectSomeValuesFrom) ce;
            OWLObjectPropertyExpression ope = osv.getProperty();
            String role = (!ope.isAnonymous()) ? getLabel(
                    ope.asOWLObjectProperty(), ont) : ope.toString();
            return "\u2203" + role + ".("
                    + formatClassExpression(osv.getFiller(), ont) + ")";
        } else {
            return ce.toString();
        }
    }
View Full Code Here
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
    OWLClassExpression classD = OWL.Class( "D" );
    OWLClassExpression classE = OWL.Class( "E" );
    OWLObjectProperty propertyP = OWL.ObjectProperty( "p" );
    SWRLVariable variable = SWRL.variable( "x" );

    OWLObjectSomeValuesFrom restriction = OWL.some( propertyP, classD );

    // C(?x)
    bodyAtoms.add( SWRL.classAtom( classC, variable ) );
    // Ep.D(?x)
    headAtoms.add( SWRL.classAtom( restriction, variable ) );
View Full Code Here
302
303
304
305
306
307
308
309
310
311
312
313
314
                                {if (true) return factory.getOWLFunctionalObjectPropertyAxiom(restriction.getProperty());}
                            }
                        }
                    }
                    else if(lhs instanceof OWLObjectSomeValuesFrom) {
                        OWLObjectSomeValuesFrom restriction = (OWLObjectSomeValuesFrom) lhs;
                        if(restriction.getFiller().isOWLThing()) {
                            {if (true) return factory.getOWLObjectPropertyDomainAxiom(restriction.getProperty(), rhs);}
                        }
                    }
                    if(rhs instanceof OWLObjectComplementOf && !rhs.isAnonymous()) {
                        {if (true) return factory.getOWLDisjointClassesAxiom(lhs, ((OWLObjectComplementOf) rhs).getOperand());}
                    }
View Full Code Here
TOP

Related Classes of org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom

  • au.csiro.snorocket.owlapi.util.DebugUtils
  • au.csiro.snorocket.protege.util.DebugUtils
  • org.mindswap.pellet.test.rules.MiscRuleTests
  • org.obolibrary.obo2owl.OWLAPIOwl2Obo
  • org.semanticweb.HermiT.structural.BuiltInPropertyManager
  • org.semanticweb.owlapi.api.test.axioms.NNFTestCase
  • org.semanticweb.owlapi.api.test.axioms.SubClassOfUntypedSomeValuesFromTestCase
  • org.semanticweb.owlapi.api.test.ontology.SWRLRuleAlternateNSTestCase
  • org.semanticweb.owlapi.api.test.ontology.SWRLRuleTestCase
  • org.semanticweb.owlapi.api.test.syntax.ManchesterOWLSyntaxParserTestCase
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.