org.semanticweb.owlapi.model.OWLDataPropertyExpression Java Examples

@Override
public Set<DataProperty> getAllClassDataProperties(IRI iri) {
    org.semanticweb.owlapi.model.IRI classIRI = SimpleOntologyValues.owlapiIRI(iri);
    if (owlOntology.containsClassInSignature(classIRI)) {
        OWLClass owlClass = owlManager.getOWLDataFactory().getOWLClass(classIRI);
        Node<OWLClass> equivalentClasses = owlReasoner.getEquivalentClasses(owlClass);
        NodeSet<OWLClass> superClasses = owlReasoner.getSuperClasses(owlClass);
        return owlOntology.dataPropertiesInSignature(Imports.INCLUDED)
                .filter(property -> {
                    Set<OWLDataPropertyDomainAxiom> domains = owlOntology.axioms(OWLDataPropertyDomainAxiom.class,
                            OWLDataPropertyExpression.class, property, Imports.INCLUDED,
                            Navigation.IN_SUB_POSITION).collect(Collectors.toSet());
                    return hasClassAsDomain(domains.stream(), classIRI, equivalentClasses, superClasses)
                            || hasNoDomain(domains.stream());
                })
                .map(SimpleOntologyValues::mobiDataProperty)
                .collect(Collectors.toSet());
    }
    throw new IllegalArgumentException("Class not found in ontology");
}
 

@Override
public Set<DataProperty> getAllNoDomainDataProperties() {
    return owlOntology.dataPropertiesInSignature(Imports.INCLUDED)
            .filter(property -> hasNoDomain(owlOntology.axioms(OWLDataPropertyDomainAxiom.class,
                    OWLDataPropertyExpression.class, property, Imports.INCLUDED,
                    Navigation.IN_SUB_POSITION)))
            .map(SimpleOntologyValues::mobiDataProperty)
            .collect(Collectors.toSet());
}
 

@Override
public NodeSet<OWLDataProperty> getDisjointDataProperties(
		OWLDataPropertyExpression arg0)
		throws InconsistentOntologyException, FreshEntitiesException,
		ReasonerInterruptedException, TimeOutException {
	LOGGER_.trace("getDisjointDataProperties(OWLDataPropertyExpression)");

	checkInterrupted();
	// TODO Provide implementation
	throw unsupportedOwlApiMethod(
			"getDisjointDataProperties(OWLDataPropertyExpression)");
}
 

Set<OWLDataPropertyExpression> toDataPropertyExpressionSet(
		List<? extends ElkDataPropertyExpression> input) {
	Set<OWLDataPropertyExpression> result = new HashSet<OWLDataPropertyExpression>(
			input.size());
	for (ElkDataPropertyExpression next : input) {
		result.add(convert(next));
	}
	return result;
}
 

@Override
public List<? extends ElkDataPropertyExpression> getDataPropertyExpressions() {
	List<ElkDataPropertyExpression> result = new ArrayList<ElkDataPropertyExpression>();
	for (OWLDataPropertyExpression dpe : this.owlObject.getProperties()) {
		result.add(converter.convert(dpe));
	}
	return result;
}
 

@Override
public List<? extends ElkDataPropertyExpression> getDataPropertyExpressions() {
	List<ElkDataPropertyExpression> result = new ArrayList<ElkDataPropertyExpression>();
	for (OWLDataPropertyExpression dpe : this.owlObject.getProperties()) {
		result.add(converter.convert(dpe));
	}
	return result;
}
 

@Override
public List<? extends ElkDataPropertyExpression> getDataPropertyExpressions() {
	List<ElkDataPropertyExpression> dpes = new ArrayList<ElkDataPropertyExpression>(
			this.owlObject.getDataPropertyExpressions().size());
	for (OWLDataPropertyExpression dpe : this.owlObject
			.getDataPropertyExpressions()) {
		dpes.add(converter.convert(dpe));
	}

	return dpes;
}
 

@Override
public OWLDataPropertyExpression convert(ElkDataPropertyExpression input) {
	if (input instanceof ElkDataPropertyExpressionWrap<?>) {
		return ((ElkDataPropertyExpressionWrap<?>) input).getOwlObject();
	}
	// else
	return (OWLDataPropertyExpression) input.accept(this);
}
 

public NodeSet<OWLDataProperty> getDisjointDataProperties(
		OWLDataPropertyExpression pe) throws InconsistentOntologyException,
		FreshEntitiesException, ReasonerInterruptedException,
		TimeOutException {
	// TODO Auto-generated method stub
	return null;
}
 

public ElkDataPropertyExpression convert(
		OWLDataPropertyExpression owlDataPropertyExpression) {
	return this.convert(owlDataPropertyExpression.asOWLDataProperty());
}
 

@Override
public NodeSet<OWLDataProperty> getDisjointDataProperties(
		OWLDataPropertyExpression pe) {
	return delegate_.getDisjointDataProperties(pe);
}
 

public NodeSet<OWLDataProperty> getDisjointDataProperties(
		OWLDataPropertyExpression pe) throws InconsistentOntologyException,
		FreshEntitiesException, ReasonerInterruptedException,
		TimeOutException {
	return getWrappedReasoner().getDisjointDataProperties(pe);
}
 

/**
 * Returns the URI of a data property.
 *
 * @param property the data property
 * @return URI
 */
protected static String getString(OWLDataPropertyExpression property) {
	return property.asOWLDataProperty().getIRI().toURI().toASCIIString();
}
 

abstract OWLDataPropertyExpression convert(ElkDataPropertyExpression input);