Examples of OWLObjectProperty

edu.stanford.smi.protegex.owl.model.OWLObjectProperty
org.semanticweb.owl.model.OWLObjectProperty
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group Date: 24-Oct-2006
org.semanticweb.owlapi.model.OWLObjectProperty
3.org/TR/owl2-syntax/#Object_Properties">Object Property in the OWL 2 Specification. @author Matthew Horridge, The University Of Manchester, Bio-HealthInformatics Group @since 2.0.0

Examples of edu.stanford.smi.protegex.owl.model.OWLObjectProperty

    this.model = model;
  }


  public void actionPerformed(ActionEvent e) {
    RDFProperty property = OWLUI.pickRDFProperty(model.getUserDefinedOWLObjectProperties(), "Select a property");
    OWLObjectProperty objProperty = (OWLObjectProperty) property;
    if(property != null && property instanceof OWLObjectProperty) {
      tab.addExistentialPanel(objProperty);
    }
  }

View Full Code Here

Examples of org.semanticweb.owl.model.OWLObjectProperty




    public void handleTriple(URI subject, URI predicate, URI object) throws OWLException {
        OWLIndividual subj = getDataFactory().getOWLIndividual(subject);
        OWLIndividual obj = getDataFactory().getOWLIndividual(object);
        OWLObjectProperty prop = getDataFactory().getOWLObjectProperty(predicate);
        addAxiom(getDataFactory().getOWLObjectPropertyAssertionAxiom(subj, prop, obj));
    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectProperty

                    if (x instanceof OWLClass) {
                        xs.add(x);
                        numNamed++;
                        continue;
                    } else if (x instanceof OWLObjectSomeValuesFrom) {
                        OWLObjectProperty p = (OWLObjectProperty) ((OWLObjectSomeValuesFrom) x)
                                .getProperty();
                        if (!getIdentifier(p).equals(viewRel)) {
                            LOG.error("Expected: {} got: {} in {}", viewRel, p,
                                    eca);
                        }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectProperty

            @Nonnull OWLNaryPropertyAxiom<OWLObjectPropertyExpression> ax,
            String tag) {
        Set<OWLObjectPropertyExpression> set = ax.getProperties();
        if (set.size() > 1) {
            boolean first = true;
            OWLObjectProperty prop = null;
            String disjointFrom = null;
            for (OWLObjectPropertyExpression ex : set) {
                if (ex.isBottomEntity() || ex.isTopEntity()) {
                    error(tag
                            + " using Top or Bottom entities are not supported in OBO.",

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectProperty

        OWLObjectPropertyExpression pEx = ax.getSuperProperty();
        if (pEx.isAnonymous()) {
            error(ax, false);
            return;
        }
        OWLObjectProperty p = pEx.asOWLObjectProperty();
        Frame f = getTypedefFrame(p);
        if (p.isBottomEntity() || p.isTopEntity()) {
            error("Property chains using Top or Bottom entities are not supported in OBO.",
                    ax, false);
            return;
        }
        List<OWLObjectPropertyExpression> list = ax.getPropertyChain();

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectProperty

        OWLObjectPropertyExpression propEx = ax.getProperty();
        if (propEx.isAnonymous()) {
            error(ax, true);
            return;
        }
        OWLObjectProperty prop = propEx.asOWLObjectProperty();
        if (domain.isBottomEntity() || domain.isTopEntity()) {
            // at least get the type def frame
            getTypedefFrame(prop);
            // now throw the error
            error("domains using top or bottom entities are not translatable to OBO.",

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectProperty

        OWLClassExpression owlRange = ax.getRange();
        OWLObjectPropertyExpression propEx = ax.getProperty();
        if (propEx.isAnonymous()) {
            error(ax, false);
        }
        OWLObjectProperty prop = propEx.asOWLObjectProperty();
        if (owlRange.isBottomEntity() || owlRange.isTopEntity()) {
            // at least create the property frame
            getTypedefFrame(prop);
            // error message
            error("ranges using top or bottom entities are not translatable to OBO.",

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectProperty

            // must correspond to ObjectIntersectionOf(cls
            // ObjectSomeValuesFrom(p filler))
            if (xs.size() == 2) {
                OWLClass c = null;
                OWLObjectSomeValuesFrom r = null;
                OWLObjectProperty p = null;
                OWLClass filler = null;
                for (OWLClassExpression x : xs) {
                    if (x instanceof OWLClass) {
                        c = (OWLClass) x;
                    }

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectProperty

                }
                break;
            }
        }
        if (pIRI != null) {
            OWLObjectProperty vp = fac.getOWLObjectProperty(pIRI);
            Set<OWLAxiom> rmAxioms = new HashSet<>();
            Set<OWLAxiom> newAxioms = new HashSet<>();
            for (OWLEquivalentClassesAxiom eca : ontology
                    .getAxioms(AxiomType.EQUIVALENT_CLASSES)) {
                int numNamed = 0;

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLObjectProperty

            // already handled
            // see: trTypedefToAnnotationProperty(Frame typedefFrame)
            return null;
        } else {
            String id = typedefFrame.getId();
            OWLObjectProperty p = trObjectProp(id);
            add(fac.getOWLDeclarationAxiom(p));
            String xid = translateShorthandIdToExpandedId(id);
            if (!xid.equals(id)) {
                OWLAxiom ax = fac.getOWLAnnotationAssertionAxiom(
                        trTagToAnnotationProp("shorthand"), p.getIRI(),
                        trLiteral(id), new HashSet<OWLAnnotation>());
                add(ax);
            }
            /*
             * // See 5.9.3 Special Rules for Relations Collection<Xref> xrefs =

View Full Code Here

0 1 2 3 4 5

TOP

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.