Package com.github.owlcs.ontapi.transforms

Class ManifestDeclarator

java.lang.Object

com.github.owlcs.ontapi.transforms.TransformationModel

com.github.owlcs.ontapi.transforms.BaseDeclarator

com.github.owlcs.ontapi.transforms.ManifestDeclarator

public class ManifestDeclarator
extends BaseDeclarator

The transformer to restore declarations in the clear cases (all notations are taken from the OWL2 Short Guide): 1) The declaration in annotation

• _:x a owl:Annotation; owl:annotatedSource s; owl:annotatedProperty rdf:type; owl:annotatedTarget U.

2) Explicit class:

• C1 rdfs:subClassOf C2
• C1 owl:disjointWith C2
• _:x owl:complementOf C
• _:x rdf:type owl:AllDisjointClasses; owl:members ( C1 ... Cn )
• CN owl:disjointUnionOf ( C1 ... Cn )
• C owl:hasKey ( P1 ... Pm R1 ... Rn )
• _:x a owl:Restriction; _:x owl:onClass C

3) Explicit data-range:

• _:x owl:datatypeComplementOf D.
• _:x owl:onDatatype DN; owl:withRestrictions ( _:x1 ... _:xn )
• _x: a owl:Restriction; owl:onProperties ( R1 ... Rn ); owl:allValuesFrom Dn
• _x: a owl:Restriction; owl:onProperties ( R1 ... Rn ); owl:someValuesFrom Dn
• _:x a owl:Restriction; owl:onDataRange D.

4) Data range or class expression:

• _:x owl:oneOf ( a1 ... an ) or _:x owl:oneOf ( v1 ... vn )

5) Explicit object property expression:

• P a owl:InverseFunctionalProperty
• P rdf:type owl:ReflexiveProperty
• P rdf:type owl:IrreflexiveProperty
• P rdf:type owl:SymmetricProperty
• P rdf:type owl:AsymmetricProperty
• P rdf:type owl:TransitiveProperty
• P1 owl:inverseOf P2
• P owl:propertyChainAxiom ( P1 ... Pn )
• _:x a owl:Restriction; owl:onProperty P; owl:hasSelf "true"^^xsd:boolean

6) Data property or object property expression:

• _:x a owl:Restriction; owl:onProperty R; owl:hasValue v or _:x a owl:Restriction; owl:onProperty P; owl:hasValue a
• _:x rdf:type owl:NegativePropertyAssertion; owl:sourceIndividual a1; owl:assertionProperty P; owl:targetIndividual a2 or _:x rdf:type owl:NegativePropertyAssertion; owl:sourceIndividual a1; owl:assertionProperty R; owl:targetValue v

7) Explicit individuals:

• a1 owl:sameAs a2 and a1 owl:differentFrom a2
• _:x rdf:type owl:AllDifferent; owl:members ( a1 ... an )

8) Class assertions (individuals declarations):

• a rdf:type C

9) SWRL rules. see SWRL

Nested Class Summary

Nested classes/interfaces inherited from class com.github.owlcs.ontapi.transforms.TransformationModel

TransformationModel.TrackedGraph

Field Summary

Fields

Modifier and Type	Field	Description
protected final Set<? extends org.apache.jena.rdf.model.RDFNode>	forbiddenClassCandidates

Fields inherited from class com.github.owlcs.ontapi.transforms.TransformationModel

builtins, graph, LOGGER, queryModel, workModel

Constructor Summary

Constructors

Constructor	Description
ManifestDeclarator(org.apache.jena.graph.Graph graph)

Method Summary

Modifier and Type	Method	Description
protected Set<org.apache.jena.rdf.model.Resource>	collectForbiddenClassCandidates()
protected void	parseAnnotations()
protected void	parseClassAssertions()
protected void	parseClassExpressions()
protected void	parseDataRangeExpressions()
protected void	parseIndividuals()
protected void	parseObjectOrDataProperties()
protected void	parseObjectPropertyExpressions()
protected void	parseOneOfExpression()
protected void	parseSWRL()
void	perform()	Performs the graph transformation.
protected void	processSWRL(org.apache.jena.rdf.model.Property predicateToFind, Predicate<org.apache.jena.rdf.model.Statement> functionToFilter, Predicate<org.apache.jena.rdf.model.Resource> functionToCheck, Consumer<org.apache.jena.rdf.model.Resource> functionToDeclare)

Methods inherited from class com.github.owlcs.ontapi.transforms.BaseDeclarator

containsClassExpressionProperty, containsRestrictionProperty, declare, declare, declareAnnotationProperty, declareAnnotationProperty, declareClass, declareDataProperty, declareDataProperty, declareDatatype, declareDatatype, declareIndividual, declareObjectProperty, declareObjectProperty, getBuiltinDatatypeURIs, getObjectLiteral, getObjectResource, isAnnotationProperty, isClass, isClassExpression, isDataProperty, isDataRange, isIndividual, isObjectPropertyExpression, members, members, subjectAndObjects

Methods inherited from class com.github.owlcs.ontapi.transforms.TransformationModel

changeType, collectBuiltinOWLProperties, collectReservedResources, createModel, getBaseGraph, getGraph, getQueryModel, getWorkModel, listStatements, name, process, statements, test, toString, uncertainTriples, undeclare

Methods inherited from class java.lang.Object

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

Field Details

forbiddenClassCandidates

protected final Set<? extends org.apache.jena.rdf.model.RDFNode> forbiddenClassCandidates

Constructor Details

ManifestDeclarator

public ManifestDeclarator(org.apache.jena.graph.Graph graph)

Method Details

perform

public void perform()

Description copied from class: TransformationModel

Performs the graph transformation.

Specified by:

perform in class TransformationModel

parseAnnotations

protected void parseAnnotations()

parseClassExpressions

protected void parseClassExpressions()

parseDataRangeExpressions

protected void parseDataRangeExpressions()

parseOneOfExpression

protected void parseOneOfExpression()

parseObjectPropertyExpressions

protected void parseObjectPropertyExpressions()

parseObjectOrDataProperties

protected void parseObjectOrDataProperties()

parseIndividuals

protected void parseIndividuals()

collectForbiddenClassCandidates

protected Set<org.apache.jena.rdf.model.Resource> collectForbiddenClassCandidates()

parseClassAssertions

protected void parseClassAssertions()

parseSWRL

protected void parseSWRL()

processSWRL

protected void processSWRL(org.apache.jena.rdf.model.Property predicateToFind,
 Predicate<org.apache.jena.rdf.model.Statement> functionToFilter,
 Predicate<org.apache.jena.rdf.model.Resource> functionToCheck,
 Consumer<org.apache.jena.rdf.model.Resource> functionToDeclare)