Add support for data property assertion axioms (OWLDataPropertyAssertionAxiom)

1 files changed, 15 insertions, 0 deletions

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(