From 58435546aec92af87bf37255b0646c66a1218df6 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Sat, 23 Jan 2021 12:18:35 +0000 Subject: Add OWLDisjointClassesAxiom support --- src/main/scala/uk/ac/ox/cs/rsacomb/converter/RDFoxConverter.scala | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) 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 dadc81c..761cc83 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 @@ -96,7 +96,6 @@ trait RDFoxConverter { * - [[org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom OWLDataPropertyRangeAxiom]] * - [[org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom OWLDatatypeDefinitionAxiom]] * - [[org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom OWLDifferentIndividualsAxiom]] - * - [[org.semanticweb.owlapi.model.OWLDisjointClassesAxiom OWLDisjointClassesAxiom]] * - [[org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom OWLDisjointDataPropertiesAxiom]] * - [[org.semanticweb.owlapi.model.OWLDisjointObjectPropertiesAxiom OWLDisjointObjectPropertiesAxiom]] * - [[org.semanticweb.owlapi.model.OWLDisjointUnionAxiom OWLDisjointUnionAxiom]] @@ -173,6 +172,13 @@ trait RDFoxConverter { case a: OWLDataPropertyRangeAxiom => Result() // ignored + case a: OWLDisjointClassesAxiom => { + val body = a.getOperandsAsList.asScala.toSeq + .flatMap((cls) => convert(cls, term, unsafe, NoSkolem, suffix)._1) + val bottom = TupleTableAtom.rdf(term, IRI.RDF_TYPE, IRI.NOTHING) + ResultR(List(Rule.create(bottom, body: _*))) + } + case a: OWLInverseObjectPropertiesAxiom => { val (atoms, rules) = a.asSubObjectPropertyOfAxioms .map(a => convert(a, term, unsafe, skolem dup a, suffix)) -- cgit v1.2.3