Java OWLObjectComplementOf类代码示例

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
@Test
public void testParseClazzNegatedExpression() throws Exception {

    JsonOwlObject svf = new JsonOwlObject();     
    svf.type = JsonOwlObjectType.SomeValueFrom;
    svf.property = new JsonOwlObject();
    svf.property.type = JsonOwlObjectType.ObjectProperty;
    svf.property.id = OCCURS_IN; // occurs_in
    svf.filler = new JsonOwlObject();
    svf.filler.id = NUCLEUS;
    svf.filler.type = JsonOwlObjectType.Class;

    JsonOwlObject expression = new JsonOwlObject();
    expression.type = JsonOwlObjectType.ComplementOf;
    expression.filler = svf;
  
    OWLDataFactory df = graph.getDataFactory();
    OWLClassExpression ce = new M3ExpressionParser(curieHandler).parse(graph, expression, null);
    
    OWLClass nucleus = graph.getOWLClassByIdentifier(NUCLEUS);
    OWLObjectSomeValuesFrom svfx = df.getOWLObjectSomeValuesFrom(graph.getOWLObjectPropertyByIdentifier(OCCURS_IN), nucleus);
    OWLObjectComplementOf ceExpected = df.getOWLObjectComplementOf(svfx);
    assertEquals(ceExpected, ce);
}
 

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
public void visit(OWLObjectComplementOf object) {
    OWLClassExpression description=object.getOperand();
    if (description instanceof OWLObjectHasSelf) {
        OWLObjectPropertyExpression objectProperty=((OWLObjectHasSelf)description).getProperty();
        Atom roleAtom=getRoleAtom(objectProperty,X,X);
        m_bodyAtoms.add(roleAtom);
    }
    else if (description instanceof OWLObjectOneOf && ((OWLObjectOneOf)description).getIndividuals().size()==1) {
        OWLIndividual individual=((OWLObjectOneOf)description).getIndividuals().iterator().next();
        m_bodyAtoms.add(Atom.create(getConceptForNominal(individual),X));
    }
    else if (!(description instanceof OWLClass))
        throw new IllegalStateException("Internal error: invalid normal form.");
    else
        m_bodyAtoms.add(Atom.create(AtomicConcept.create(((OWLClass)description).getIRI().toString()),X));
}
 

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
@Override
public void addToOntology() {
  OWLClass nonComplement = featurePool.getExclusiveClass(":NoObjectComplementOf");
  OWLObjectComplementOf complement = factory.getOWLObjectComplementOf(nonComplement);

  OWLClass owlClass = featurePool.getExclusiveClass(":ObjectComplementOf");

  addAxiomToOntology(factory.getOWLSubClassOfAxiom(owlClass, complement));
}
 

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
@Test
public void testParseClazzNegated() throws Exception {

    JsonOwlObject expression = new JsonOwlObject();
    expression.type = JsonOwlObjectType.ComplementOf;
    expression.filler = new JsonOwlObject();
    expression.filler.id = NUCLEUS;
    expression.filler.type = JsonOwlObjectType.Class;

    OWLClassExpression ce = new M3ExpressionParser(curieHandler).parse(graph, expression, null);
    OWLClass nucleus = graph.getOWLClassByIdentifier(NUCLEUS);
    OWLObjectComplementOf ceExpected = graph.getDataFactory().getOWLObjectComplementOf(nucleus);
    assertEquals(ceExpected, ce);
}
 

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
protected static boolean isNegatedOneNominal(OWLClassExpression description) {
    if (!(description instanceof OWLObjectComplementOf))
        return false;
    OWLClassExpression operand=((OWLObjectComplementOf)description).getOperand();
    if (!(operand instanceof OWLObjectOneOf))
        return false;
    return ((OWLObjectOneOf)operand).getIndividuals().size()==1;
}
 

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
public OWLClassExpression visit(OWLObjectComplementOf object) {
    if (isNominal(object.getOperand())) {
        OWLObjectOneOf objectOneOf=(OWLObjectOneOf)object.getOperand();
        OWLClass definition=getDefinitionForNegativeNominal(objectOneOf,m_alreadyExists);
        if (!m_alreadyExists[0])
            for (OWLIndividual individual : objectOneOf.getIndividuals())
                addFact(m_factory.getOWLClassAssertionAxiom(definition,individual));
        return m_factory.getOWLObjectComplementOf(definition);
    }
    else
        return object;
}
 

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
public OWLClassExpression visit(OWLObjectComplementOf d) {
    OWLClassExpression operandSimplified=getSimplified(d.getOperand());
    if (operandSimplified.isOWLThing())
        return m_factory.getOWLNothing();
    else if (operandSimplified.isOWLNothing())
        return m_factory.getOWLThing();
    else if (operandSimplified instanceof OWLObjectComplementOf)
        return ((OWLObjectComplementOf)operandSimplified).getOperand();
    else
        return m_factory.getOWLObjectComplementOf(operandSimplified);
}
 

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
protected static LiteralConcept getLiteralConcept(OWLClassExpression description) {
    if (description instanceof OWLClass) {
        return AtomicConcept.create(((OWLClass)description).getIRI().toString());
    }
    else if (description instanceof OWLObjectComplementOf) {
        OWLClassExpression internal=((OWLObjectComplementOf)description).getOperand();
        if (!(internal instanceof OWLClass))
            throw new IllegalStateException("Internal error: invalid normal form.");
        return AtomicConcept.create(((OWLClass)internal).getIRI().toString()).getNegation();
    }
    else
        throw new IllegalStateException("Internal error: invalid normal form.");
}
 

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
@Override
public OWLObjectComplementOf visit(OWLObjectComplementOf ce) {
	if (LOG.isDebugEnabled()) {
		LOG.debug("Unfolding complement_of: "+ce);
	}
	
	OWLClassExpression operand = ce.getOperand();
	if (operand != null) {
		OWLClassExpression unfold = operand.accept(this);
		if (unfold != null) {
			return factory.getOWLObjectComplementOf(unfold);
		}
	}
	return null;
}
 

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
public OWLClassExpression visit(OWLObjectComplementOf object) {
    if (isNominal(object.getOperand())) {
        OWLObjectOneOf objectOneOf=(OWLObjectOneOf)object.getOperand();
        OWLClass definition=getDefinitionForNegativeNominal(objectOneOf,m_alreadyExists);
        if (!m_alreadyExists[0]) {
            for (OWLIndividual individual : objectOneOf.getIndividuals()) {
                addFact(m_factory.getOWLClassAssertionAxiom(definition,individual));
            }
        }
        return m_factory.getOWLObjectComplementOf(definition);
    }
    else
        return object;
}
 

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
/**
 * We assume that we deal with a normalized axioms, i.e. they are in NNF and structural transformation took place.
 *
 * Thereofre we test here whether the operand
 * @see org.semanticweb.owlapi.model.OWLClassExpressionVisitor#visit(org.semanticweb.owlapi.model.OWLObjectComplementOf)
 */

public void visit(OWLObjectComplementOf objComplementOf) {
	OWLClassExpression operand = objComplementOf.getOperand();
	if (operand instanceof OWLClass) {
		OWLClass owlClass = operand.asOWLClass();
		String predicateName = mapper.getPredicateName(owlClass);

		writer.print(predicateName);
		writer.print(ASP2CoreSymbols.BRACKET_OPEN);
		writer.print(var.currentVar());
		writer.print(ASP2CoreSymbols.BRACKET_CLOSE);

		if (isAuxiliaryClass(owlClass)) auxClasses.add(owlClass);
	}
	//
	else if (operand instanceof OWLObjectHasSelf) {
		OWLObjectHasSelf owlHasSelf = (OWLObjectHasSelf) operand;
		OWLObjectProperty property = owlHasSelf.getProperty().asOWLObjectProperty();
		String propertyName = mapper.getPredicateName(property);
		String cVar = var.currentVar();

		// r(X,X)
		writer.print(propertyName);
		writer.print(ASP2CoreSymbols.BRACKET_OPEN);
		writer.print(cVar);
		writer.print(ASP2CoreSymbols.ARG_SEPERATOR);
		writer.print(cVar);
		writer.print(ASP2CoreSymbols.BRACKET_CLOSE);
	}
	else if (operand instanceof OWLObjectOneOf) {
		throw new NotImplementedException();
	}
}
 

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
/**
 * We assume that we deal with a normalized axioms, i.e. they are in NNF and structural transformation took place.
 *
 * Thereofre we test here whether the operand
 * @see org.semanticweb.owlapi.model.OWLClassExpressionVisitor#visit(org.semanticweb.owlapi.model.OWLObjectComplementOf)
 */

public void visit(OWLObjectComplementOf objComplementOf) {
	OWLClassExpression operand = objComplementOf.getOperand();

	if (operand instanceof OWLClass) {
		OWLClass owlClass = operand.asOWLClass();
		String predicateName = mapper.getPredicateName(owlClass);

		writer.print(predicateName);
		writer.print(ASP2CoreSymbols.BRACKET_OPEN);
		writer.print(var.currentVar());
		writer.print(ASP2CoreSymbols.BRACKET_CLOSE);

		if (isAuxiliaryClass(owlClass)) auxClasses.add(owlClass);
	}
	else if (operand instanceof OWLObjectHasSelf) {
		OWLObjectHasSelf owlHasSelf = (OWLObjectHasSelf) operand;
		OWLObjectProperty property = owlHasSelf.getProperty().asOWLObjectProperty();
		String propertyName = mapper.getPredicateName(property);
		String cVar = var.currentVar();

		// r(X,X)
		writer.print(propertyName);
		writer.print(ASP2CoreSymbols.BRACKET_OPEN);
		writer.print(cVar);
		writer.print(ASP2CoreSymbols.ARG_SEPERATOR);
		writer.print(cVar);
		writer.print(ASP2CoreSymbols.BRACKET_CLOSE);
	}
	else if (operand instanceof OWLObjectOneOf) {
		throw new NotImplementedException();
	}
}
 

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
@Override
public Void visit(OWLObjectComplementOf desc) {
  long subject =
      getOrCreateNode(getIri(desc), OwlLabels.OWL_COMPLEMENT_OF, OwlLabels.OWL_ANONYMOUS);
  long operand = getOrCreateNode(getIri(desc.getOperand()));
  getOrCreateRelationship(subject, operand, OwlRelationships.OPERAND);
  return null;
}
 

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
@Override
public OWLClassExpression visit(OWLObjectComplementOf ce) {
	OWLClassExpression operand = ce.getOperand();
	OWLClassExpression shortendedOperand = operand.accept(this);
	if(shortendedOperand.isOWLThing()){// \neg \top \equiv \bot
		return df.getOWLNothing();
	} else if(shortendedOperand.isOWLNothing()){// \neg \bot \equiv \top
		return df.getOWLThing();
	} else if(operand != shortendedOperand){
		return df.getOWLObjectComplementOf(shortendedOperand);
	}
	return ce;
}
 

import org.semanticweb.owlapi.model.OWLObjectComplementOf; //导入依赖的package包/类
@Override
public Set<OWLClassExpression> visit(OWLObjectComplementOf ce) {
    Set<OWLClassExpression> result = new HashSet<>();
    result.add(ce);
    result.addAll(ce.getOperand().accept(this));
    return result;
}