From 3362dd371ddcac7d60b4f64ddacb83c7d5b0a21e Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Sun, 6 Dec 2020 12:14:07 +0000 Subject: Add support for data property assertion axioms (OWLDataPropertyAssertionAxiom) --- .../uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala | 15 +++++++++++++++ 1 file changed, 15 insertions(+) (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/converter') diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala index 4f4df26..6c83caf 100644 --- a/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala +++ b/src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala @@ -8,6 +8,7 @@ import org.semanticweb.owlapi.model.{ OWLClassAssertionAxiom, OWLClassExpression, OWLDataProperty, + OWLDataPropertyAssertionAxiom, OWLDataPropertyDomainAxiom, OWLDataPropertyExpression, OWLDataSomeValuesFrom, @@ -219,6 +220,20 @@ trait RDFoxConverter { ResultF(List(prop)) } + /** Data property assertion. + * + * @see [[org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom OWLDataPropertyAssertionAxiom]] + */ + case a: OWLDataPropertyAssertionAxiom => + if (!a.getSubject.isNamed || !a.getObject.isNamed) + Result() + else { + val subj = a.getSubject.asOWLNamedIndividual.getIRI + val obj = a.getObject + val prop = convert(a.getProperty, subj, obj, suffix) + ResultF(List(prop)) + } + /** Catch-all case for all unhandled axiom types. */ case a => throw new RuntimeException( -- cgit v1.2.3