owltools.tr

Class TemplatedTransformer

java.lang.Object

owltools.tr.TemplatedTransformer

public class TemplatedTransformer
extends Object

Examples:

 quality and inheres_in some entity EquivalentTo has_part some (entity and has_quality quality)  
 

Annotated with: treat-as-variable quality.IRI treat-as-variable entity.IRI will find all uses of the former pattern and replace them with the latter Also (advanced):

 'subdivision of skeleton' and subdivision_of some autopod
 SubClassOf
 'subdivision of skeleton' and subdivision_of some limb
 ,
 autopod SubClassOf limb
 

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	TemplatedTransformer.Mapping

Constructor Summary

Constructors

Constructor and Description
TemplatedTransformer(org.semanticweb.owlapi.model.OWLOntology o)

Method Summary

Methods

Modifier and Type	Method and Description
Set<TemplatedTransformer.Mapping>	getMappings()
Set<org.semanticweb.owlapi.model.OWLOntologyChange>	tr()
Set<org.semanticweb.owlapi.model.OWLOntologyChange>	tr(org.semanticweb.owlapi.model.OWLAxiom inAxiom, TemplatedTransformer.Mapping m)
Set<org.semanticweb.owlapi.model.OWLOntologyChange>	tr(org.semanticweb.owlapi.model.OWLOntology o, TemplatedTransformer.Mapping m)
Set<org.semanticweb.owlapi.model.OWLOntologyChange>	tr(TemplatedTransformer.Mapping m)
owltools.tr.TemplatedTransformer.BindingSet	unify(org.semanticweb.owlapi.model.OWLClassExpression inExpr, org.semanticweb.owlapi.model.OWLClassExpression templateExpr, Set<org.semanticweb.owlapi.model.IRI> vars)
owltools.tr.TemplatedTransformer.BindingSet	unifyAll(org.semanticweb.owlapi.model.OWLClassExpression inExpr, org.semanticweb.owlapi.model.OWLClassExpression templateExpr, Set<org.semanticweb.owlapi.model.IRI> vars)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TemplatedTransformer

public TemplatedTransformer(org.semanticweb.owlapi.model.OWLOntology o)

Method Detail

getMappings

public Set<TemplatedTransformer.Mapping> getMappings()

tr

public Set<org.semanticweb.owlapi.model.OWLOntologyChange> tr()

tr

public Set<org.semanticweb.owlapi.model.OWLOntologyChange> tr(TemplatedTransformer.Mapping m)

tr

public Set<org.semanticweb.owlapi.model.OWLOntologyChange> tr(org.semanticweb.owlapi.model.OWLOntology o,
                                                     TemplatedTransformer.Mapping m)

tr

public Set<org.semanticweb.owlapi.model.OWLOntologyChange> tr(org.semanticweb.owlapi.model.OWLAxiom inAxiom,
                                                     TemplatedTransformer.Mapping m)

unifyAll

public owltools.tr.TemplatedTransformer.BindingSet unifyAll(org.semanticweb.owlapi.model.OWLClassExpression inExpr,
                                                   org.semanticweb.owlapi.model.OWLClassExpression templateExpr,
                                                   Set<org.semanticweb.owlapi.model.IRI> vars)

unify

public owltools.tr.TemplatedTransformer.BindingSet unify(org.semanticweb.owlapi.model.OWLClassExpression inExpr,
                                                org.semanticweb.owlapi.model.OWLClassExpression templateExpr,
                                                Set<org.semanticweb.owlapi.model.IRI> vars)