public class GCIUtil extends Object
https://github.com/owlcollab/owltools/issues/146
Constructor and Description |
---|
GCIUtil() |
Modifier and Type | Method and Description |
---|---|
static Set<org.semanticweb.owlapi.model.OWLSubClassOfAxiom> |
getSubClassOfSomeValuesFromAxioms(org.semanticweb.owlapi.model.OWLOntology ontology,
org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
Generates trivial SVF axioms from existing GCIs
|
static Set<org.semanticweb.owlapi.model.OWLSubClassOfAxiom> |
getSubClassOfSomeValuesFromAxioms(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner) |
public static Set<org.semanticweb.owlapi.model.OWLSubClassOfAxiom> getSubClassOfSomeValuesFromAxioms(org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
public static Set<org.semanticweb.owlapi.model.OWLSubClassOfAxiom> getSubClassOfSomeValuesFromAxioms(org.semanticweb.owlapi.model.OWLOntology ontology, org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
For each GCI of the form CX SubClassOf R some DX for each C that is an inferred direct subclass of or equivalent to CX for each D that is an inferred direct superclass of or equivalent to DX add an axiom C SubClassOf R some D
ontology
- reasoner
- Copyright © 2010–2016. All rights reserved.