From 17bd9beaf7f358a44e5bf36a5855fe6727d506dc Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Tue, 10 May 2022 18:17:06 +0100 Subject: [pagoda] Move project to Scala This commit includes a few changes: - The repository still uses Maven to manage dependency but it is now a Scala project. - The code has been ported from OWLAPI 3.4.10 to 5.1.20 - A proof of concept program using both RSAComb and PAGOdA has been added. --- external/uk/ac/ox/cs/data/OntologyStatistics.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'external/uk') diff --git a/external/uk/ac/ox/cs/data/OntologyStatistics.java b/external/uk/ac/ox/cs/data/OntologyStatistics.java index de40dda..e4e7942 100644 --- a/external/uk/ac/ox/cs/data/OntologyStatistics.java +++ b/external/uk/ac/ox/cs/data/OntologyStatistics.java @@ -1,6 +1,7 @@ package uk.ac.ox.cs.data; import org.semanticweb.owlapi.model.OWLOntology; +import org.semanticweb.owlapi.model.parameters.Imports; import uk.ac.ox.cs.pagoda.owl.OWLHelper; public class OntologyStatistics { @@ -9,7 +10,7 @@ public class OntologyStatistics { args = ("/home/yzhou/ontologies/uobm/univ-bench-dl-minus.owl").split("\\ "); OWLOntology onto = OWLHelper.loadOntology(args[0]); - System.out.println(onto.getTBoxAxioms(true).size() + onto.getRBoxAxioms(true).size()); + System.out.println(onto.getTBoxAxioms(Imports.INCLUDED).size() + onto.getRBoxAxioms(Imports.INCLUDED).size()); } } -- cgit v1.2.3