Package org.semanticweb.owlapi.model

Examples of org.semanticweb.owlapi.model.OWLDeclarationAxiom

55
56
57
58
59
60
61
62
63
64
65
66
                sb.append(" = ");
                sb.append(formatClassExpression(ces.get(i), ont));
            }
            return sb.toString();
        } else if (a instanceof OWLDeclarationAxiom) {
            OWLDeclarationAxiom da = (OWLDeclarationAxiom) a;
            OWLEntity ent = da.getEntity();
            String name = (ent.isOWLClass()) ? getLabel(ent.asOWLClass(), ont)
                    : ent.toString();
            return "init(" + name + ")";
        } else {
            return a.toString();
View Full Code Here
55
56
57
58
59
60
61
62
63
64
65
66
                sb.append(" = ");
                sb.append(formatClassExpression(ces.get(i), ont));
            }
            return sb.toString();
        } else if (a instanceof OWLDeclarationAxiom) {
            OWLDeclarationAxiom da = (OWLDeclarationAxiom) a;
            OWLEntity ent = da.getEntity();
            String name = (ent.isOWLClass()) ? getLabel(ent.asOWLClass(), ont)
                    : ent.toString();
            return "init(" + name + ")";
        } else {
            return a.toString();
View Full Code Here
67
68
69
70
71
72
73
74
75
76
77
      new SyntacticLocalityModuleExtractor( OWL.manager, ontology, moduleType );
    Set<OWLAxiom> expected = segmenter.extract( signature );
     
    // prune declarations to avoid mismatches related to declarations
    for( OWLEntity entity : signature ) {
      OWLDeclarationAxiom declaration = OWL.declaration( entity );
      computed.remove( declaration );
      computed.remove( declaration );
    }

    for( Iterator<OWLAxiom> i = expected.iterator(); i.hasNext(); ) {
View Full Code Here
323
324
325
326
327
328
329
330
331
332
333
      manager.applyChanges( changes );

      changes = new ArrayList<OWLOntologyChange>();
      for( OWLEntity entity : referencedEntities ) {
        if( !ontology.containsEntityInSignature( entity ) ) {
          OWLDeclarationAxiom declaration = manager.getOWLDataFactory()
              .getOWLDeclarationAxiom( entity );
          changes.add( new AddAxiom( ontology, declaration ) );
        }
      }
     
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
                OWLAnnotation     oav = factory.getOWLAnnotation(oa, factory.getOWLStringLiteral(clazzlabel,"en"));
                OWLDatatype dt = factory.getOWLDatatype(IRI.create(DATATYPE));
                OWLNamedIndividual sub = factory.getOWLNamedIndividual(IRI.create(SUBJECT));
                OWLNamedIndividual obj = factory.getOWLNamedIndividual(IRI.create(OBJECT));
                OWLLiteral literal1 = factory.getOWLTypedLiteral(VALUE,dt);
                OWLDeclarationAxiom daxiomcls = factory.getOWLDeclarationAxiom(cls); //Classe
                OWLDeclarationAxiom daxiomop = factory.getOWLDeclarationAxiom(op); //obj prop
                OWLDeclarationAxiom daxiomdp = factory.getOWLDeclarationAxiom(dp); //data prop
                OWLDeclarationAxiom daxiomsub = factory.getOWLDeclarationAxiom(sub); //subject
                OWLDeclarationAxiom daxiomobj = factory.getOWLDeclarationAxiom(obj); //object

                OWLClassAssertionAxiom axiomsub = factory.getOWLClassAssertionAxiom(cls,sub); //Istanza
                OWLClassAssertionAxiom axiomobj = factory.getOWLClassAssertionAxiom(cls,obj); //Istanza
                OWLObjectPropertyAssertionAxiom axiomop = factory.getOWLObjectPropertyAssertionAxiom(op, sub, obj); //Obj prop tra individui
                OWLDataPropertyAssertionAxiom axiomvalue = factory.getOWLDataPropertyAssertionAxiom(dp, obj,literal1); //Dataprop all'istanza;
View Full Code Here
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
                OWLAnnotation     oav = factory.getOWLAnnotation(oa, factory.getOWLStringLiteral(clazzlabel,"en"));
                OWLDatatype dt = factory.getOWLDatatype(IRI.create(DATATYPE));
                OWLNamedIndividual sub = factory.getOWLNamedIndividual(IRI.create(SUBJECT));
                OWLNamedIndividual obj = factory.getOWLNamedIndividual(IRI.create(OBJECT));
                OWLLiteral literal1 = factory.getOWLTypedLiteral(VALUE,dt);
                OWLDeclarationAxiom daxiomcls = factory.getOWLDeclarationAxiom(cls); //Classe
                OWLDeclarationAxiom daxiomop = factory.getOWLDeclarationAxiom(op); //obj prop
                OWLDeclarationAxiom daxiomdp = factory.getOWLDeclarationAxiom(dp); //data prop
                OWLDeclarationAxiom daxiomsub = factory.getOWLDeclarationAxiom(sub); //subject
                OWLDeclarationAxiom daxiomobj = factory.getOWLDeclarationAxiom(obj); //object

                OWLClassAssertionAxiom axiomsub = factory.getOWLClassAssertionAxiom(cls,sub); //Istanza
                OWLClassAssertionAxiom axiomobj = factory.getOWLClassAssertionAxiom(cls,obj); //Istanza
                OWLObjectPropertyAssertionAxiom axiomop = factory.getOWLObjectPropertyAssertionAxiom(op, sub, obj); //Obj prop tra individui
                OWLDataPropertyAssertionAxiom axiomvalue = factory.getOWLDataPropertyAssertionAxiom(dp, sub,literal1); //Dataprop all'istanza;
View Full Code Here
TOP

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

  • au.csiro.ontology.importer.owl.OWLImporter
  • au.csiro.snorocket.owlapi.util.DebugUtils
  • au.csiro.snorocket.protege.util.DebugUtils
  • com.clarkparsia.modularity.test.RandomizedModularityTest
  • com.clarkparsia.owlapi.explanation.HSTExplanationGenerator
  • com.clarkparsia.owlapiv3.OntologyUtils
  • de.fzi.herakles.protege.anytime.tab.AnytimeReasoningListCellRenderer
  • org.apache.stanbol.commons.owl.transformation.ConversionTester
  • org.apache.stanbol.commons.owl.transformation.JenaToOwlConvert
  • org.coode.owlapi.obo.parser.OBOConsumer
    • 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.