Java OWLObjectHasValue类代码示例

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
@Override
public void addToOntology() {
  OWLObjectProperty property = featurePool.getExclusiveProperty(":objectHasValueProperty");

  OWLIndividual value = factory.getOWLNamedIndividual(":ObjectHasValue_Individual", pm);
  OWLObjectHasValue restriction = factory.getOWLObjectHasValue(property, value);

  OWLClass hasValue = featurePool.getExclusiveClass(":ObjectHasValue");
  addAxiomToOntology(factory.getOWLSubClassOfAxiom(hasValue, restriction));
}
 

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    if (!(obj instanceof OWLObjectHasValue)) {
        return false;
    }
    return getProperty().equals(((OWLObjectHasValue) obj).getProperty());
}
 

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
@Override
protected int compareObjectOfSameType(OWLObject object) {
    OWLObjectHasValue other = (OWLObjectHasValue) object;
    int diff = getProperty().compareTo(other.getProperty());
    if (diff != 0) {
        return diff;
    }
    return value.compareTo(other.getFiller());
}
 

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
/**
 * create axioms for class--objectproperty----individual relation.
 * 
 * @param src
 * @param objprop
 * @param dest
 * @return
 */
private void getClass2ObjectProperty2IndividualAxioms(OWLClass src, OWLObjectProperty objprop, OWLIndividual dest) {
	// Set<OWLAxiom> tmpaxioms = new HashSet<OWLAxiom>();
	OWLAxiom axiom;
	OWLObjectSomeValuesFrom owlObjectSomeValuesFrom;
	OWLObjectHasValue owlLObjectHasValue;
	OWLObjectMaxCardinality owlObjectMaxCardinality;
	OWLObjectOneOf owlObjectOneOf;

	// set domain and range
	// scoped domain
	if (editor.isGenerateDomainAxiom()) {
		owlLObjectHasValue = owlDataFactory.getOWLObjectHasValue(objprop, dest);
		axiom = owlDataFactory.getOWLSubClassOfAxiom(owlLObjectHasValue, src);
		domainAndRangeAxioms.add(axiom);

		owlObjectSomeValuesFrom = owlDataFactory.getOWLObjectSomeValuesFrom(objprop, owlDataFactory.getOWLThing());
		axiom = owlDataFactory.getOWLSubClassOfAxiom(owlObjectSomeValuesFrom, src);
		domainAndRangeAxioms.add(axiom);
	}

	// set existential restriction
	if (editor.isGenerateExistentialAxiom()) {
		owlObjectSomeValuesFrom = owlDataFactory.getOWLObjectSomeValuesFrom(objprop.getInverseProperty(), src);
		owlObjectOneOf = owlDataFactory.getOWLObjectOneOf(dest);
		axiom = owlDataFactory.getOWLSubClassOfAxiom(owlObjectOneOf, owlObjectSomeValuesFrom);
		existentialAxioms.add(axiom);

		owlLObjectHasValue = owlDataFactory.getOWLObjectHasValue(objprop, dest);
		axiom = owlDataFactory.getOWLSubClassOfAxiom(src, owlLObjectHasValue);
		existentialAxioms.add(axiom);
	}

	// set cardinality restriction
	if (editor.isGenerateCardinalityAxiom()) {
		owlObjectMaxCardinality = owlDataFactory.getOWLObjectMaxCardinality(1, objprop,
				owlDataFactory.getOWLThing());
		axiom = owlDataFactory.getOWLSubClassOfAxiom(owlDataFactory.getOWLThing(), owlObjectMaxCardinality);
		cardinalityAxioms.add(axiom);

		owlObjectMaxCardinality = owlDataFactory.getOWLObjectMaxCardinality(1, objprop,
				owlDataFactory.getOWLThing());
		axiom = owlDataFactory.getOWLSubClassOfAxiom(src, owlObjectMaxCardinality);
		cardinalityAxioms.add(axiom);

		owlObjectOneOf = owlDataFactory.getOWLObjectOneOf(dest);
		owlObjectMaxCardinality = owlDataFactory.getOWLObjectMaxCardinality(1, objprop, owlObjectOneOf);
		axiom = owlDataFactory.getOWLSubClassOfAxiom(src, owlObjectMaxCardinality);
		cardinalityAxioms.add(axiom);

		owlObjectOneOf = owlDataFactory.getOWLObjectOneOf(dest);
		owlObjectMaxCardinality = owlDataFactory.getOWLObjectMaxCardinality(1, objprop, owlObjectOneOf);
		axiom = owlDataFactory.getOWLSubClassOfAxiom(owlDataFactory.getOWLThing(), owlObjectMaxCardinality);
		cardinalityAxioms.add(axiom);
	}
	// return tmpaxioms;
}
 

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
public void visit(OWLObjectHasValue arg0) {
    notSupported(arg0);
}
 

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
public void visit(OWLObjectHasValue object) {
    visitProperty(object.getProperty());
}
 

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
public OWLClassExpression visit(OWLObjectHasValue object) {
    throw new IllegalStateException("Internal error: object value restrictions should have been simplified.");
}
 

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
public void visit(OWLObjectHasValue object) {
    m_hasNominals=true;
    visitProperty(object.getProperty());
}
 

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
public OWLClassExpression visit(OWLObjectHasValue d) {
    return m_factory.getOWLObjectHasValue(d.getProperty().getSimplified(),d.getValue());
}
 

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
public void visit(OWLObjectHasValue object) {
    throw new IllegalStateException("Internal error: invalid normal form.");
}
 

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
@Override
public OWLObjectHasValue visit(ElkObjectHasValue expression) {
	return owlFactory_.getOWLObjectHasValue(
			convert(expression.getProperty()),
			convert(expression.getFiller()));
}
 

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
@Override
public ElkObjectHasValue visit(OWLObjectHasValue owlObjectHasValue) {
	return CONVERTER.convert(owlObjectHasValue);
}
 

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkObjectHasValue convert(OWLObjectHasValue owlObjectHasValue) {
	return new ElkObjectHasValueWrap<OWLObjectHasValue>(owlObjectHasValue);
}
 

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
@Override
public OWLObjectHasValue visit(OWLObjectHasValue ce) {
	return null;
}
 

import org.semanticweb.owlapi.model.OWLObjectHasValue; //导入依赖的package包/类
@Override
public HandlerResult visit(OWLObjectHasValue ce) {
	return null;
}