fr.lirmm.graphik.graal.io.owl.OWLAPIUtils Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of graal-io-owl Show documentation
Show all versions of graal-io-owl Show documentation
The graal-io-owl module provides a parser from OWL2.
/*
* Copyright (C) Inria Sophia Antipolis - Méditerranée / LIRMM
* (Université de Montpellier & CNRS) (2014 - 2015)
*
* Contributors :
*
* Clément SIPIETER
* Mélanie KÖNIG
* Swan ROCHER
* Jean-François BAGET
* Michel LECLÈRE
* Marie-Laure MUGNIER
*
*
* This file is part of Graal }
*
*/
final class OWLAPIUtils {
// /////////////////////////////////////////////////////////////////////////
// CONSTRUCTORS
// /////////////////////////////////////////////////////////////////////////
private OWLAPIUtils() {
}
// /////////////////////////////////////////////////////////////////////////
// PUBLIC METHODS
// /////////////////////////////////////////////////////////////////////////
/**
* @param superClass
* @return
*/
public static Iterable getObjectUnionOperands(
OWLClassExpression c) {
if (c instanceof OWLObjectOneOf
&& ((OWLObjectOneOf) c).getIndividuals().size() > 1) {
return ((OWLObjectUnionOf) ((OWLObjectOneOf) c).asObjectUnionOf())
.getOperands();
} else if (c instanceof OWLObjectUnionOf) {
return ((OWLObjectUnionOf) c).getOperands();
}
return Collections. singleton(c);
}
public static Iterable getObjectIntersectionOperands(
OWLClassExpression c) {
if (c instanceof OWLObjectIntersectionOf) {
return ((OWLObjectIntersectionOf) c).getOperands();
}
return Collections. singleton(c);
}
public static Iterable getDataUnionOperands(
OWLDataRange c) {
if (c instanceof OWLDataOneOf
&& ((OWLDataOneOf) c).getValues().size() > 1) {
Set union = new TreeSet<>();
for (OWLLiteral l : ((OWLDataOneOf) c).getValues()) {
union.add(new OWLDataOneOfImpl(Collections.singleton(l)));
}
return union;
} else if (c instanceof OWLDataUnionOf) {
return ((OWLDataUnionOf) c).getOperands();
}
return Collections. singleton(c);
}
public static Iterable getDataIntersectionOperands(
OWLDataRange c) {
if (c instanceof OWLObjectIntersectionOf) {
return ((OWLDataIntersectionOf) c).getOperands();
}
return Collections. singleton(c);
}
/**
* @param superClass
* @return
*/
public static boolean isIntersection(OWLClassExpression superClass) {
return superClass.asConjunctSet().size() > 1;
}
/**
* disjunctive normal form
*
* @param e
* @return
*/
public static OWLClassExpression classExpressionDisjunctiveNormalForm(
OWLClassExpression classExpression) {
if (classExpression instanceof OWLObjectUnionOf) {
Set union = new TreeSet<>();
for (OWLClassExpression element : OWLAPIUtils
.getObjectUnionOperands(classExpression)) {
element = classExpressionDisjunctiveNormalForm(element);
for (OWLClassExpression e : OWLAPIUtils
.getObjectUnionOperands(element)) {
union.add(e);
}
}
return new OWLObjectUnionOfImpl(union);
} else if (classExpression instanceof OWLObjectIntersectionOf) {
List> conjunctions = new LinkedList<>();
conjunctions.add(new TreeSet());
for (OWLClassExpression element : OWLAPIUtils
.getObjectIntersectionOperands(classExpression)) {
element = classExpressionDisjunctiveNormalForm(element);
if (element instanceof OWLObjectUnionOf) {
List> tmp = new LinkedList<>();
for (Set conj : conjunctions) {
for (OWLClassExpression e : OWLAPIUtils
.getObjectUnionOperands(element)) {
Set newConj = new TreeSet<>(
conj);
newConj.add(classExpressionDisjunctiveNormalForm(e));
tmp.add(newConj);
}
}
conjunctions = tmp;
} else {
for (Set conj : conjunctions) {
for (OWLClassExpression e : OWLAPIUtils
.getObjectIntersectionOperands(element)) {
conj.add(e);
}
}
}
}
Set union = new TreeSet<>();
if (conjunctions.size() > 1) {
for (Set conj : conjunctions) {
union.add(new OWLObjectIntersectionOfImpl(conj));
}
return new OWLObjectUnionOfImpl(union);
} else {
return new OWLObjectIntersectionOfImpl(conjunctions.get(0));
}
} else if (classExpression instanceof OWLObjectSomeValuesFrom) {
OWLObjectSomeValuesFrom expr = (OWLObjectSomeValuesFrom) classExpression;
OWLObjectPropertyExpression prop = expr.getProperty();
OWLClassExpression filler = classExpressionDisjunctiveNormalForm(expr
.getFiller());
if (filler instanceof OWLObjectUnionOf) {
Set union = new TreeSet<>();
for (OWLClassExpression e : OWLAPIUtils
.getObjectUnionOperands(filler)) {
e = classExpressionDisjunctiveNormalForm(e);
union.add(new OWLObjectSomeValuesFromImpl(prop, e));
}
return new OWLObjectUnionOfImpl(union);
}
return new OWLObjectSomeValuesFromImpl(prop, filler);
} else if (classExpression instanceof OWLDataSomeValuesFrom) {
OWLDataSomeValuesFrom expr = (OWLDataSomeValuesFrom) classExpression;
OWLDataPropertyExpression prop = expr.getProperty();
OWLDataRange filler = dataRangeDisjunctiveNormalForm(expr
.getFiller());
if (filler instanceof OWLDataUnionOf) {
Set union = new TreeSet<>();
for (OWLDataRange e : OWLAPIUtils
.getDataUnionOperands(filler)) {
e = dataRangeDisjunctiveNormalForm(e);
union.add(new OWLDataSomeValuesFromImpl(prop, e));
}
return new OWLObjectUnionOfImpl(union);
}
return new OWLDataSomeValuesFromImpl(prop, filler);
} else if (classExpression instanceof OWLObjectOneOf) {
OWLObjectOneOf expr = (OWLObjectOneOf) classExpression;
if (expr.getIndividuals().size() <= 1) {
return expr;
}
Set union = new TreeSet<>();
for (OWLIndividual i : expr.getIndividuals()) {
Set individuals = Collections.singleton(i);
union.add(new OWLObjectOneOfImpl(individuals));
}
return new OWLObjectUnionOfImpl(union);
} else if (classExpression instanceof OWLObjectAllValuesFrom) {
OWLObjectAllValuesFrom expr = (OWLObjectAllValuesFrom) classExpression;
return new OWLObjectAllValuesFromImpl(expr.getProperty(),
classExpressionDisjunctiveNormalForm(expr.getFiller()));
} else if (classExpression instanceof OWLDataAllValuesFrom) {
OWLDataAllValuesFrom expr = (OWLDataAllValuesFrom) classExpression;
return new OWLDataAllValuesFromImpl(expr.getProperty(),
dataRangeDisjunctiveNormalForm(expr.getFiller()));
} else if (classExpression instanceof OWLObjectComplementOf) {
OWLObjectComplementOf expr = (OWLObjectComplementOf) classExpression;
return new OWLObjectComplementOfImpl(
classExpressionDisjunctiveNormalForm(expr.getOperand()));
} else if (classExpression instanceof OWLObjectMinCardinality) {
OWLObjectMinCardinality c = (OWLObjectMinCardinality) classExpression;
return new OWLObjectMinCardinalityImpl(c.getProperty(),
c.getCardinality(),
classExpressionDisjunctiveNormalForm(c.getFiller()));
} else if (classExpression instanceof OWLDataMinCardinality) {
OWLDataMinCardinality c = (OWLDataMinCardinality) classExpression;
return new OWLDataMinCardinalityImpl(c.getProperty(),
c.getCardinality(),
dataRangeDisjunctiveNormalForm(c.getFiller()));
} else if (classExpression instanceof OWLObjectMaxCardinality) {
OWLObjectMaxCardinality c = (OWLObjectMaxCardinality) classExpression;
return new OWLObjectMaxCardinalityImpl(c.getProperty(),
c.getCardinality(),
classExpressionDisjunctiveNormalForm(c.getFiller()));
} else if (classExpression instanceof OWLDataMaxCardinality) {
OWLDataMaxCardinality c = (OWLDataMaxCardinality) classExpression;
return new OWLDataMaxCardinalityImpl(c.getProperty(),
c.getCardinality(),
dataRangeDisjunctiveNormalForm(c.getFiller()));
} else if (classExpression instanceof OWLObjectExactCardinality) {
OWLObjectExactCardinality c = (OWLObjectExactCardinality) classExpression;
return new OWLObjectExactCardinalityImpl(c.getProperty(),
c.getCardinality(),
classExpressionDisjunctiveNormalForm(c.getFiller()));
} else if (classExpression instanceof OWLDataExactCardinality) {
OWLDataExactCardinality c = (OWLDataExactCardinality) classExpression;
return new OWLDataExactCardinalityImpl(c.getProperty(),
c.getCardinality(),
dataRangeDisjunctiveNormalForm(c.getFiller()));
}
return classExpression;
}
/**
* disjunctive normal form
*
* @param e
* @return
*/
public static OWLDataRange dataRangeDisjunctiveNormalForm(
OWLDataRange dataRange) {
if (dataRange instanceof OWLDataUnionOf) {
Set union = new TreeSet<>();
for (OWLDataRange element : OWLAPIUtils
.getDataUnionOperands(dataRange)) {
element = dataRangeDisjunctiveNormalForm(element);
for (OWLDataRange e : OWLAPIUtils
.getDataUnionOperands(element)) {
union.add(e);
}
}
return new OWLDataUnionOfImpl(union);
} else if (dataRange instanceof OWLDataIntersectionOf) {
List> conjunctions = new LinkedList<>();
conjunctions.add(new TreeSet());
for (OWLDataRange element : OWLAPIUtils
.getDataIntersectionOperands(dataRange)) {
element = dataRangeDisjunctiveNormalForm(element);
if (element instanceof OWLDataUnionOf) {
List> tmp = new LinkedList<>();
for (Set conj : conjunctions) {
for (OWLDataRange e : OWLAPIUtils
.getDataUnionOperands(element)) {
Set newConj = new TreeSet<>(conj);
newConj.add(dataRangeDisjunctiveNormalForm(e));
tmp.add(newConj);
}
}
conjunctions = tmp;
} else {
for (Set conj : conjunctions) {
for (OWLDataRange e : OWLAPIUtils
.getDataIntersectionOperands(element)) {
conj.add(e);
}
}
}
}
Set union = new TreeSet<>();
if (conjunctions.size() > 1) {
for (Set conj : conjunctions) {
union.add(new OWLDataIntersectionOfImpl(conj));
}
return new OWLDataUnionOfImpl(union);
} else {
return new OWLDataIntersectionOfImpl(conjunctions.get(0));
}
} else if (dataRange instanceof OWLDataComplementOf) {
OWLDataComplementOf expr = (OWLDataComplementOf) dataRange;
return new OWLDataComplementOfImpl(
dataRangeDisjunctiveNormalForm(expr.getDataRange()));
} else if (dataRange instanceof OWLObjectOneOf) {
OWLDataOneOf expr = (OWLDataOneOf) dataRange;
if (expr.getValues().size() <= 1) {
return expr;
}
Set union = new TreeSet<>();
for (OWLLiteral i : expr.getValues()) {
Set individuals = Collections.singleton(i);
union.add(new OWLDataOneOfImpl(individuals));
}
return new OWLDataUnionOfImpl(union);
}
return dataRange;
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy