From dce92d56b1c26497dc32312fd5a3a4494abe4dbd Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Wed, 9 Sep 2020 18:01:25 +0200 Subject: Add first attempt at retrieving all constants in an ontology --- src/main/scala/rsacomb/RSAOntology.scala | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'src/main') diff --git a/src/main/scala/rsacomb/RSAOntology.scala b/src/main/scala/rsacomb/RSAOntology.scala index 23c9e06..30ebd3a 100644 --- a/src/main/scala/rsacomb/RSAOntology.scala +++ b/src/main/scala/rsacomb/RSAOntology.scala @@ -30,6 +30,13 @@ trait RSAOntology { */ implicit class RSAOntology(ontology: OWLOntology) extends RSAAxiom { + /* TDOO: implement method to retrieve all ontology named individuals + */ + lazy val individuals: List[IRI] = { + //ontology.getIndividualsInSignature().asScala.map(_.getIRI).toList + List() + } + /* Steps for RSA check * 1) convert ontology axioms into LP rules * 2) call RDFox on the onto and compute materialization @@ -39,7 +46,7 @@ trait RSAOntology { * why the ontology might not be RSA. This could help a second * step of approximation of an Horn-ALCHOIQ to RSA */ - def isRSA: Boolean = { + lazy val isRSA: Boolean = { val tbox = ontology.tboxAxioms(Imports.INCLUDED) val rbox = ontology.rboxAxioms(Imports.INCLUDED) -- cgit v1.2.3