From 2b85ac2d3bb318bc9d64b22eb81ff1518428398d Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Tue, 10 Nov 2020 10:42:44 +0000 Subject: Expose ABox in RSAOntology class --- src/main/scala/rsacomb/RSAOntology.scala | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'src/main/scala') diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala index 8d6fe8c..e273dc5 100644 --- a/src/main/scala/rsacomb/RSAOntology.scala +++ b/src/main/scala/rsacomb/RSAOntology.scala @@ -47,7 +47,7 @@ trait RSAOntology { */ implicit class RSAOntology(ontology: OWLOntology) extends RSAAxiom { - // Gather TBox+RBox from original ontology + // Gather TBox/RBox/ABox from original ontology lazy val tbox: List[OWLAxiom] = ontology .tboxAxioms(Imports.INCLUDED) @@ -62,7 +62,14 @@ trait RSAOntology { .asScala .toList - lazy val axioms: List[OWLAxiom] = tbox ++ rbox + lazy val abox: List[OWLAxiom] = + ontology + .aboxAxioms(Imports.INCLUDED) + .collect(Collectors.toList()) + .asScala + .toList + + lazy val axioms: List[OWLAxiom] = abox ++ tbox ++ rbox /* Retrieve individuals in the original ontology */ -- cgit v1.2.3