Java OWLDataPropertyDomainAxiomの例

コード例 #1

ファイル: DLExpressivityChecker.java プロジェクト: Orphanet/java_ORDO

 @Override
 public void visit(OWLDataPropertyDomainAxiom axiom) {
   axiom.getDomain().accept(this);
   constructs.add(AL);
   constructs.add(D);
   axiom.getProperty().accept(this);
 }

コード例 #2

ファイル: OWLObjectDuplicator.java プロジェクト: rita-zgheib/owl-api

 @Override
 public void visit(OWLDataPropertyDomainAxiom axiom) {
   axiom.getProperty().accept(this);
   OWLDataPropertyExpression prop = (OWLDataPropertyExpression) obj;
   axiom.getDomain().accept(this);
   OWLClassExpression domain = (OWLClassExpression) obj;
   obj = dataFactory.getOWLDataPropertyDomainAxiom(prop, domain, duplicateAxiomAnnotations(axiom));
 }

コード例 #3

ファイル: LatexObjectVisitor.java プロジェクト: JPuritscher/owlapi

 @Override
 public void visit(OWLDataPropertyDomainAxiom axiom) {
   df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()).accept(this);
   writeSpace();
   write(SUBCLASS);
   writeSpace();
   axiom.getDomain().accept(this);
 }

コード例 #4

ファイル: ManchesterOWLSyntaxFrameRenderer.java プロジェクト: rita-zgheib/owl-api

 public Set<OWLAxiom> write(OWLDataProperty property) {
   Set<OWLAxiom> axioms = new HashSet<OWLAxiom>();
   axioms.addAll(writeEntityStart(DATA_PROPERTY, property));
   if (!isFiltered(AxiomType.FUNCTIONAL_DATA_PROPERTY)) {
     for (OWLOntology ontology : getOntologies()) {
       SectionMap characteristics = new SectionMap();
       for (OWLAxiom ax : ontology.getFunctionalDataPropertyAxioms(property)) {
         if (isDisplayed(ax)) {
           characteristics.add(FUNCTIONAL.toString(), ax);
           axioms.add(ax);
         }
       }
       writeSection(CHARACTERISTICS, characteristics, ",", true, ontology);
     }
   }
   if (!isFiltered(AxiomType.DATA_PROPERTY_DOMAIN)) {
     for (OWLOntology ontology : getOntologies()) {
       SectionMap domains = new SectionMap();
       for (OWLDataPropertyDomainAxiom ax : ontology.getDataPropertyDomainAxioms(property)) {
         if (isDisplayed(ax)) {
           domains.add(ax.getDomain(), ax);
           axioms.add(ax);
         }
       }
       writeSection(DOMAIN, domains, ",", true, ontology);
     }
   }
   if (!isFiltered(AxiomType.DATA_PROPERTY_RANGE)) {
     for (OWLOntology ontology : getOntologies()) {
       SectionMap ranges = new SectionMap();
       for (OWLDataPropertyRangeAxiom ax : ontology.getDataPropertyRangeAxioms(property)) {
         if (isDisplayed(ax)) {
           ranges.add(ax.getRange(), ax);
           axioms.add(ax);
         }
       }
       writeSection(RANGE, ranges, ",", true, ontology);
     }
   }
   if (!isFiltered(AxiomType.SUB_DATA_PROPERTY)) {
     for (OWLOntology ontology : getOntologies()) {
       SectionMap supers = new SectionMap();
       for (OWLSubDataPropertyOfAxiom ax :
           ontology.getDataSubPropertyAxiomsForSubProperty(property)) {
         if (isDisplayed(ax)) {
           supers.add(ax.getSuperProperty(), ax);
           axioms.add(ax);
         }
       }
       writeSection(SUB_PROPERTY_OF, supers, ",", true, ontology);
     }
   }
   if (!isFiltered(AxiomType.EQUIVALENT_DATA_PROPERTIES)) {
     for (OWLOntology ontology : getOntologies()) {
       SectionMap props = new SectionMap();
       for (OWLEquivalentDataPropertiesAxiom ax :
           ontology.getEquivalentDataPropertiesAxioms(property)) {
         if (isDisplayed(ax) && ax.getProperties().size() == 2) {
           props.add(ax.getPropertiesMinus(property).iterator().next(), ax);
           axioms.add(ax);
         }
       }
       writeSection(EQUIVALENT_TO, props, ",", true, ontology);
     }
   }
   if (!isFiltered(AxiomType.DISJOINT_DATA_PROPERTIES)) {
     for (OWLOntology ontology : getOntologies()) {
       SectionMap props = new SectionMap();
       for (OWLDisjointDataPropertiesAxiom ax :
           ontology.getDisjointDataPropertiesAxioms(property)) {
         if (ax.getProperties().size() == 2 && isDisplayed(ax)) {
           props.add(ax.getPropertiesMinus(property).iterator().next(), ax);
           axioms.add(ax);
         }
       }
       props.remove(property);
       writeSection(DISJOINT_WITH, props, ",", true, ontology);
     }
   }
   if (!isFiltered(AxiomType.SWRL_RULE)) {
     for (OWLOntology ontology : getOntologies()) {
       Set<OWLAxiom> rules = new HashSet<OWLAxiom>();
       for (SWRLRule rule : ontology.getAxioms(AxiomType.SWRL_RULE)) {
         if (isDisplayed(rule)) {
           for (SWRLAtom atom : rule.getHead()) {
             if (atom.getPredicate().equals(property)) {
               writeSection(RULE, rules, "", true, ontology);
               break;
             }
           }
         }
       }
     }
   }
   writeEntitySectionEnd(DATA_PROPERTY.toString());
   return axioms;
 }

コード例 #5

ファイル: SatisfiabilityConverter.java プロジェクト: JPuritscher/owlapi

 @Override
 public void visit(OWLDataPropertyDomainAxiom axiom) {
   OWLClassExpression sub =
       factory.getOWLDataSomeValuesFrom(axiom.getProperty(), factory.getTopDatatype());
   result = and(sub, not(axiom.getDomain()));
 }

コード例 #6

ファイル: OWLObjectComponentCollector.java プロジェクト: JPuritscher/owlapi

 @Override
 public void visit(OWLDataPropertyDomainAxiom axiom) {
   handleObject(axiom);
   axiom.getProperty().accept(this);
 }

コード例 #7

ファイル: MaximumModalDepthFinder.java プロジェクト: ZongleiJiao/OWLAPI2CPP

 public Integer visit(OWLDataPropertyDomainAxiom axiom) {
   return axiom.getDomain().accept(this);
 }

コード例 #8

ファイル: OWLObjectTypeIndexProvider.java プロジェクト: juyingnan/OpenOME

 public void visit(OWLDataPropertyDomainAxiom axiom) {
   type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
 }

コード例 #9

ファイル: OWLAnonymousIndividualsWithMultipleOccurrences.java プロジェクト: Orphanet/java_ORDO

 public void visit(OWLDataPropertyDomainAxiom axiom) {
   axiom.getDomain().accept(this);
   axiom.getProperty().accept(this);
   processAxiomAnnotations(axiom);
 }