List of asOWLAnonymousIndividual() Examples

Examples of asOWLAnonymousIndividual()

org.semanticweb.owlapi.model.OWLIndividual.asOWLAnonymousIndividual()
Obtains this individual an anonymous individual if it is indeed anonymous @return The individual as an anonymous individual @throws OWLRuntimeException if this individual is named

Examples of org.semanticweb.owlapi.model.OWLIndividual.asOWLAnonymousIndividual()

                if (axioms.m_complexObjectPropertyExpressions.contains(prop)) {
                    // turn not op(a b) into 
                    // C(a) and not C or forall op not{b}
                    OWLIndividual individual=negAssertion.getObject();
                    OWLClass individualConcept;
                    if (individual.isAnonymous()) individualConcept=factory.getOWLClass(IRI.create("internal:anon#"+individual.asOWLAnonymousIndividual().getID().toString()));
                    else individualConcept=factory.getOWLClass(IRI.create("internal:nom#"+individual.asOWLNamedIndividual().getIRI().toString()));
                    OWLClassExpression notIndividualConcept=factory.getOWLObjectComplementOf(individualConcept);
                    OWLClassExpression allNotIndividualConcept=factory.getOWLObjectAllValuesFrom(prop,notIndividualConcept);
                    OWLClassExpression definition=factory.getOWLClass(IRI.create("internal:def#"+(replacementIndex++)));
                    axioms.m_conceptInclusions.add(new OWLClassExpression[] { factory.getOWLObjectComplementOf(definition), allNotIndividualConcept });

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLIndividual.asOWLAnonymousIndividual()

            OWLIndividual node=axiom.getIndividual();
            if (!node.isAnonymous()) {
                namedNodes.add(node.asOWLNamedIndividual());
            }
            else {
                nodes.add(node.asOWLAnonymousIndividual());
                if (nodelLabels.containsKey(node)) {
                    nodelLabels.get(node).add(axiom.getClassExpression());
                }
                else {
                    Set<OWLClassExpression> label=new HashSet<OWLClassExpression>();

View Full Code Here

Examples of org.semanticweb.owlapi.model.OWLIndividual.asOWLAnonymousIndividual()

                    nodelLabels.get(node).add(axiom.getClassExpression());
                }
                else {
                    Set<OWLClassExpression> label=new HashSet<OWLClassExpression>();
                    label.add(axiom.getClassExpression());
                    nodelLabels.put(node.asOWLAnonymousIndividual(),label);
                }
            }
        }
        public void visit(OWLObjectPropertyAssertionAxiom axiom) {
            OWLIndividual sub=axiom.getSubject();

View Full Code Here

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.