From a3b33898b4a595c212fffb66b89cf573adbfe69d Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Sat, 23 Jan 2021 13:12:34 +0000 Subject: Add OWLDataHasValue class expression support --- .../scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb') 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 a65fdae..abb4815 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 @@ -256,7 +256,6 @@ trait RDFoxConverter { * - [[org.semanticweb.owlapi.model.OWLDataAllValuesFrom OWLDataAllValuesFrom]] * - [[org.semanticweb.owlapi.model.OWLDataExactCardinality OWLDataExactCardinality]] * - [[org.semanticweb.owlapi.model.OWLDataMaxCardinality OWLDataMaxCardinality]] - * - [[org.semanticweb.owlapi.model.OWLDataHasValue OWLDataHasValue]] * - [[org.semanticweb.owlapi.model.OWLObjectAllValuesFrom OWLObjectAllValuesFrom]] * - [[org.semanticweb.owlapi.model.OWLObjectComplementOf OWLObjectComplementOf]] * - [[org.semanticweb.owlapi.model.OWLObjectExactCardinality OWLObjectExactCardinality]] @@ -444,6 +443,14 @@ trait RDFoxConverter { } (List(convert(e.getProperty, term, term1, suffix)), List()) } + + /** Existential quantification with singleton literal filler + * + * @see + * [[http://www.w3.org/TR/owl2-syntax/#Literal_Value_Restriction]] + */ + case e: OWLDataHasValue => + (List(convert(e.getProperty, term, e.getFiller, suffix)), List()) /** Catch-all case for all unhandled class expressions. */ case e => throw new RuntimeException( -- cgit v1.2.3