All Downloads are FREE. Search and download functionalities are using the official Maven repository.

tpl-library.owl.axiom.0.1.frontpage.html Maven / Gradle / Ivy

Go to download

This Lutra submodule is intended for use as a Java library. It has dependencies to all other modules in Lutra, except those that are used for providing executable interfaces, such as command line and REST API interfaces. Lutra is the reference implementation of the OTTR framework. For more information about OTTR, see http://ottr.xyz.

There is a newer version: 0.6.19
Show newest version
OTTR template library http://tpl.ottr.xyz/owl/axiom/0.1/

http://tpl.ottr.xyz/owl/axiom/0.1/

Metrics

Dependency graph

🛈 Each template is linked to its documentation page. The colour of the node indicates its namespace.

%3 ax:SuperAllValuesFrom ax:SuperAllValuesFrom ax:SubClassOf ax:SubClassOf ax:SuperAllValuesFrom->ax:SubClassOf rstr:AllValuesFrom rstr:AllValuesFrom ax:SuperAllValuesFrom->rstr:AllValuesFrom ottr:Triple ottr:Triple ax:SubClassOf->ottr:Triple o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction rstr:AllValuesFrom->o-owl-ut:ValueRestriction o-owl-ut:ValueRestriction->ottr:Triple ax:EquivHasValue ax:EquivHasValue ax:EquivalentClass ax:EquivalentClass ax:EquivHasValue->ax:EquivalentClass rstr:HasValue rstr:HasValue ax:EquivHasValue->rstr:HasValue ax:EquivalentClass->ottr:Triple rstr:HasValue->o-owl-ut:ValueRestriction ax:EquivalentProperty ax:EquivalentProperty ax:EquivalentProperty->ottr:Triple ax:SubDataMaxCardinality ax:SubDataMaxCardinality ax:SubDataMaxCardinality->ax:SubClassOf rstr:DataMaxCardinality rstr:DataMaxCardinality ax:SubDataMaxCardinality->rstr:DataMaxCardinality o-owl-ut:DataCardinality o-owl-ut:DataCardinality rstr:DataMaxCardinality->o-owl-ut:DataCardinality o-owl-ut:DataCardinality->ottr:Triple o-owl-ut:Cardinality o-owl-ut:Cardinality o-owl-ut:DataCardinality->o-owl-ut:Cardinality o-owl-ut:Cardinality->ottr:Triple ax:SuperObjectMinCardinality ax:SuperObjectMinCardinality ax:SuperObjectMinCardinality->ax:SubClassOf rstr:ObjectMinCardinality rstr:ObjectMinCardinality ax:SuperObjectMinCardinality->rstr:ObjectMinCardinality o-owl-ut:ObjectCardinality o-owl-ut:ObjectCardinality rstr:ObjectMinCardinality->o-owl-ut:ObjectCardinality o-owl-ut:ObjectCardinality->ottr:Triple o-owl-ut:ObjectCardinality->o-owl-ut:Cardinality ax:EquivDataSomeValuesFrom ax:EquivDataSomeValuesFrom ax:EquivDataSomeValuesFrom->ax:EquivalentClass rstr:DataSomeValuesFrom rstr:DataSomeValuesFrom ax:EquivDataSomeValuesFrom->rstr:DataSomeValuesFrom rstr:DataSomeValuesFrom->ottr:Triple rstr:SomeValuesFrom rstr:SomeValuesFrom rstr:DataSomeValuesFrom->rstr:SomeValuesFrom rstr:SomeValuesFrom->o-owl-ut:ValueRestriction ax:EquivObjectMinCardinality ax:EquivObjectMinCardinality ax:EquivObjectMinCardinality->ax:EquivalentClass ax:EquivObjectMinCardinality->rstr:ObjectMinCardinality ax:SuperObjectExactCardinality ax:SuperObjectExactCardinality ax:SuperObjectExactCardinality->ax:SubClassOf rstr:ObjectExactCardinality rstr:ObjectExactCardinality ax:SuperObjectExactCardinality->rstr:ObjectExactCardinality rstr:ObjectExactCardinality->o-owl-ut:ObjectCardinality ax:EquivObjectUnionOf ax:EquivObjectUnionOf ax:EquivObjectUnionOf->ax:EquivalentClass rstr:ObjectUnionOf rstr:ObjectUnionOf ax:EquivObjectUnionOf->rstr:ObjectUnionOf o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation rstr:ObjectUnionOf->o-owl-ut:TypedListRelation o-owl-ut:TypedListRelation->ottr:Triple o-owl-ut:ListRelation o-owl-ut:ListRelation o-owl-ut:TypedListRelation->o-owl-ut:ListRelation o-owl-ut:ListRelation->ottr:Triple ax:SubObjectHasValue ax:SubObjectHasValue ax:SubObjectHasValue->ax:SubClassOf rstr:ObjectHasValue rstr:ObjectHasValue ax:SubObjectHasValue->rstr:ObjectHasValue rstr:ObjectHasValue->ottr:Triple rstr:ObjectHasValue->rstr:HasValue ax:SubDataHasValue ax:SubDataHasValue ax:SubDataHasValue->ax:SubClassOf rstr:DataHasValue rstr:DataHasValue ax:SubDataHasValue->rstr:DataHasValue rstr:DataHasValue->ottr:Triple rstr:DataHasValue->rstr:HasValue ax:SuperHasValue ax:SuperHasValue ax:SuperHasValue->ax:SubClassOf ax:SuperHasValue->rstr:HasValue ax:SubObjectIntersectionOf ax:SubObjectIntersectionOf ax:SubObjectIntersectionOf->ax:SubClassOf rstr:ObjectIntersectionOf rstr:ObjectIntersectionOf ax:SubObjectIntersectionOf->rstr:ObjectIntersectionOf rstr:ObjectIntersectionOf->o-owl-ut:TypedListRelation ax:SubExactCardinality ax:SubExactCardinality ax:SubExactCardinality->ax:SubClassOf rstr:ExactCardinality rstr:ExactCardinality ax:SubExactCardinality->rstr:ExactCardinality rstr:ExactCardinality->o-owl-ut:Cardinality ax:SuperObjectMaxCardinality ax:SuperObjectMaxCardinality ax:SuperObjectMaxCardinality->ax:SubClassOf rstr:ObjectMaxCardinality rstr:ObjectMaxCardinality ax:SuperObjectMaxCardinality->rstr:ObjectMaxCardinality rstr:ObjectMaxCardinality->o-owl-ut:ObjectCardinality ax:SuperDataExactCardinality ax:SuperDataExactCardinality ax:SuperDataExactCardinality->ax:SubClassOf rstr:DataExactCardinality rstr:DataExactCardinality ax:SuperDataExactCardinality->rstr:DataExactCardinality rstr:DataExactCardinality->o-owl-ut:DataCardinality ax:EquivObjectHasValue ax:EquivObjectHasValue ax:EquivObjectHasValue->ax:EquivalentClass ax:EquivObjectHasValue->rstr:ObjectHasValue ax:EquivObjectOneOf ax:EquivObjectOneOf ax:EquivObjectOneOf->ax:EquivalentClass rstr:ObjectOneOf rstr:ObjectOneOf ax:EquivObjectOneOf->rstr:ObjectOneOf rstr:ObjectOneOf->o-owl-ut:TypedListRelation ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->ax:SubClassOf rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom ax:SubObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom rstr:ObjectSomeValuesFrom->ottr:Triple rstr:ObjectSomeValuesFrom->rstr:SomeValuesFrom ax:EquivDataExactCardinality ax:EquivDataExactCardinality ax:EquivDataExactCardinality->ax:EquivalentClass ax:EquivDataExactCardinality->rstr:DataExactCardinality ax:EquivExactCardinality ax:EquivExactCardinality ax:EquivExactCardinality->ax:EquivalentClass ax:EquivExactCardinality->rstr:ExactCardinality ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom ax:SubObjectAllValuesFrom->ax:SubClassOf rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom ax:SubObjectAllValuesFrom->rstr:ObjectAllValuesFrom rstr:ObjectAllValuesFrom->rstr:AllValuesFrom rstr:ObjectAllValuesFrom->ottr:Triple ax:NegativeDataPropertyAssertion ax:NegativeDataPropertyAssertion ax:NegativeDataPropertyAssertion->ottr:Triple ax:DisjointUnion ax:DisjointUnion ax:DisjointUnion->ottr:Triple ax:DisjointUnion->ax:EquivObjectUnionOf ax:DisjointClasses ax:DisjointClasses ax:DisjointUnion->ax:DisjointClasses ax:DisjointClasses->o-owl-ut:TypedListRelation ax:SubDataMinCardinality ax:SubDataMinCardinality ax:SubDataMinCardinality->ax:SubClassOf rstr:DataMinCardinality rstr:DataMinCardinality ax:SubDataMinCardinality->rstr:DataMinCardinality rstr:DataMinCardinality->o-owl-ut:DataCardinality ax:SubObjectUnionOf ax:SubObjectUnionOf ax:SubObjectUnionOf->ax:SubClassOf ax:SubObjectUnionOf->rstr:ObjectUnionOf ax:SubMinCardinality ax:SubMinCardinality ax:SubMinCardinality->ax:SubClassOf rstr:MinCardinality rstr:MinCardinality ax:SubMinCardinality->rstr:MinCardinality rstr:MinCardinality->o-owl-ut:Cardinality ax:SuperExactCardinality ax:SuperExactCardinality ax:SuperExactCardinality->ax:SubClassOf ax:SuperExactCardinality->rstr:ExactCardinality ax:SuperDataMaxCardinality ax:SuperDataMaxCardinality ax:SuperDataMaxCardinality->ax:SubClassOf ax:SuperDataMaxCardinality->rstr:DataMaxCardinality ax:SubSomeValuesFrom ax:SubSomeValuesFrom ax:SubSomeValuesFrom->ax:SubClassOf ax:SubSomeValuesFrom->rstr:SomeValuesFrom ax:SubObjectPropertyOfChain ax:SubObjectPropertyOfChain ax:SubObjectPropertyOfChain->ottr:Triple ax:SubObjectPropertyOfChain->o-owl-ut:ListRelation ax:DifferentIndividuals ax:DifferentIndividuals ax:DifferentIndividuals->o-owl-ut:TypedListRelation ax:SubObjectMaxCardinality ax:SubObjectMaxCardinality ax:SubObjectMaxCardinality->ax:SubClassOf ax:SubObjectMaxCardinality->rstr:ObjectMaxCardinality ax:EquivObjectMaxCardinality ax:EquivObjectMaxCardinality ax:EquivObjectMaxCardinality->ax:EquivalentClass ax:EquivObjectMaxCardinality->rstr:ObjectMaxCardinality ax:SuperObjectAllValuesFrom ax:SuperObjectAllValuesFrom ax:SuperObjectAllValuesFrom->ax:SubClassOf ax:SuperObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SuperObjectOneOf ax:SuperObjectOneOf ax:SuperObjectOneOf->ax:SubClassOf ax:SuperObjectOneOf->rstr:ObjectOneOf ax:EquivDataAllValuesFrom ax:EquivDataAllValuesFrom ax:EquivDataAllValuesFrom->ax:EquivalentClass rstr:DataAllValuesFrom rstr:DataAllValuesFrom ax:EquivDataAllValuesFrom->rstr:DataAllValuesFrom rstr:DataAllValuesFrom->rstr:AllValuesFrom rstr:DataAllValuesFrom->ottr:Triple ax:SuperObjectUnionOf ax:SuperObjectUnionOf ax:SuperObjectUnionOf->ax:SubClassOf ax:SuperObjectUnionOf->rstr:ObjectUnionOf ax:SuperDataHasValue ax:SuperDataHasValue ax:SuperDataHasValue->ax:SubClassOf ax:SuperDataHasValue->rstr:DataHasValue ax:SuperDataAllValuesFrom ax:SuperDataAllValuesFrom ax:SuperDataAllValuesFrom->ax:SubClassOf ax:SuperDataAllValuesFrom->rstr:DataAllValuesFrom ax:SuperMinCardinality ax:SuperMinCardinality ax:SuperMinCardinality->ax:SubClassOf ax:SuperMinCardinality->rstr:MinCardinality ax:EquivDataHasValue ax:EquivDataHasValue ax:EquivDataHasValue->ax:EquivalentClass ax:EquivDataHasValue->rstr:DataHasValue ax:SubObjectExactCardinality ax:SubObjectExactCardinality ax:SubObjectExactCardinality->ax:SubClassOf ax:SubObjectExactCardinality->rstr:ObjectExactCardinality ax:EquivalentObjectProperty ax:EquivalentObjectProperty ax:EquivalentObjectProperty->ottr:Triple ax:EquivalentObjectProperty->ax:EquivalentProperty ax:DisjointProperties ax:DisjointProperties ax:DisjointProperties->o-owl-ut:TypedListRelation ax:NegativeObjectPropertyAssertion ax:NegativeObjectPropertyAssertion ax:NegativeObjectPropertyAssertion->ottr:Triple ax:EquivAllValuesFrom ax:EquivAllValuesFrom ax:EquivAllValuesFrom->rstr:AllValuesFrom ax:EquivAllValuesFrom->ax:EquivalentClass ax:SuperMaxCardinality ax:SuperMaxCardinality ax:SuperMaxCardinality->ax:SubClassOf rstr:MaxCardinality rstr:MaxCardinality ax:SuperMaxCardinality->rstr:MaxCardinality rstr:MaxCardinality->o-owl-ut:Cardinality ax:SubDataExactCardinality ax:SubDataExactCardinality ax:SubDataExactCardinality->ax:SubClassOf ax:SubDataExactCardinality->rstr:DataExactCardinality ax:EquivDataMaxCardinality ax:EquivDataMaxCardinality ax:EquivDataMaxCardinality->ax:EquivalentClass ax:EquivDataMaxCardinality->rstr:DataMaxCardinality ax:EquivDataMinCardinality ax:EquivDataMinCardinality ax:EquivDataMinCardinality->ax:EquivalentClass ax:EquivDataMinCardinality->rstr:DataMinCardinality ax:SubHasValue ax:SubHasValue ax:SubHasValue->ax:SubClassOf ax:SubHasValue->rstr:HasValue ax:EquivMaxCardinality ax:EquivMaxCardinality ax:EquivMaxCardinality->ax:EquivalentClass ax:EquivMaxCardinality->rstr:MaxCardinality ax:EquivObjectSomeValuesFrom ax:EquivObjectSomeValuesFrom ax:EquivObjectSomeValuesFrom->ax:EquivalentClass ax:EquivObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom ax:SubPropertyOf ax:SubPropertyOf ax:SubPropertyOf->ottr:Triple ax:SubDataPropertyOf ax:SubDataPropertyOf ax:SubDataPropertyOf->ottr:Triple ax:SubDataPropertyOf->ax:SubPropertyOf ax:SubObjectMinCardinality ax:SubObjectMinCardinality ax:SubObjectMinCardinality->ax:SubClassOf ax:SubObjectMinCardinality->rstr:ObjectMinCardinality ax:EquivObjectIntersectionOf ax:EquivObjectIntersectionOf ax:EquivObjectIntersectionOf->ax:EquivalentClass ax:EquivObjectIntersectionOf->rstr:ObjectIntersectionOf ax:SubDataSomeValuesFrom ax:SubDataSomeValuesFrom ax:SubDataSomeValuesFrom->ax:SubClassOf ax:SubDataSomeValuesFrom->rstr:DataSomeValuesFrom ax:HasKey ax:HasKey ax:HasKey->ottr:Triple ax:HasKey->o-owl-ut:ListRelation ax:SuperDataSomeValuesFrom ax:SuperDataSomeValuesFrom ax:SuperDataSomeValuesFrom->ax:SubClassOf ax:SuperDataSomeValuesFrom->rstr:DataSomeValuesFrom ax:SubAllValuesFrom ax:SubAllValuesFrom ax:SubAllValuesFrom->ax:SubClassOf ax:SubAllValuesFrom->rstr:AllValuesFrom ax:EquivMinCardinality ax:EquivMinCardinality ax:EquivMinCardinality->ax:EquivalentClass ax:EquivMinCardinality->rstr:MinCardinality ax:EquivObjectAllValuesFrom ax:EquivObjectAllValuesFrom ax:EquivObjectAllValuesFrom->ax:EquivalentClass ax:EquivObjectAllValuesFrom->rstr:ObjectAllValuesFrom ax:SuperObjectIntersectionOf ax:SuperObjectIntersectionOf ax:SuperObjectIntersectionOf->ax:SubClassOf ax:SuperObjectIntersectionOf->rstr:ObjectIntersectionOf ax:EquivalentDataProperty ax:EquivalentDataProperty ax:EquivalentDataProperty->ottr:Triple ax:EquivalentDataProperty->ax:EquivalentProperty ax:EquivSomeValuesFrom ax:EquivSomeValuesFrom ax:EquivSomeValuesFrom->ax:EquivalentClass ax:EquivSomeValuesFrom->rstr:SomeValuesFrom ax:SubObjectOneOf ax:SubObjectOneOf ax:SubObjectOneOf->ax:SubClassOf ax:SubObjectOneOf->rstr:ObjectOneOf ax:SuperObjectHasValue ax:SuperObjectHasValue ax:SuperObjectHasValue->ax:SubClassOf ax:SuperObjectHasValue->rstr:ObjectHasValue ax:SuperObjectSomeValuesFrom ax:SuperObjectSomeValuesFrom ax:SuperObjectSomeValuesFrom->ax:SubClassOf ax:SuperObjectSomeValuesFrom->rstr:ObjectSomeValuesFrom ax:SubObjectPropertyOf ax:SubObjectPropertyOf ax:SubObjectPropertyOf->ottr:Triple ax:SubObjectPropertyOf->ax:SubPropertyOf ax:EquivObjectExactCardinality ax:EquivObjectExactCardinality ax:EquivObjectExactCardinality->ax:EquivalentClass ax:EquivObjectExactCardinality->rstr:ObjectExactCardinality ax:SubDataAllValuesFrom ax:SubDataAllValuesFrom ax:SubDataAllValuesFrom->ax:SubClassOf ax:SubDataAllValuesFrom->rstr:DataAllValuesFrom ax:SuperDataMinCardinality ax:SuperDataMinCardinality ax:SuperDataMinCardinality->ax:SubClassOf ax:SuperDataMinCardinality->rstr:DataMinCardinality ax:SubMaxCardinality ax:SubMaxCardinality ax:SubMaxCardinality->ax:SubClassOf ax:SubMaxCardinality->rstr:MaxCardinality ax:SuperSomeValuesFrom ax:SuperSomeValuesFrom ax:SuperSomeValuesFrom->ax:SubClassOf ax:SuperSomeValuesFrom->rstr:SomeValuesFrom

List of templates

🛈 These are the templates in this library those IRI starts with http://tpl.ottr.xyz/owl/axiom/0.1/, grouped by their namespace.

http://tpl.ottr.xyz/
owl/
axiom/
0.1/DifferentIndividualsDisjointClassesDisjointPropertiesDisjointUnionEquivAllValuesFromEquivDataAllValuesFromEquivDataExactCardinalityEquivDataHasValueEquivDataMaxCardinalityEquivDataMinCardinalityEquivDataSomeValuesFromEquivExactCardinalityEquivHasValueEquivMaxCardinalityEquivMinCardinalityEquivObjectAllValuesFromEquivObjectExactCardinalityEquivObjectHasValueEquivObjectIntersectionOfEquivObjectMaxCardinalityEquivObjectMinCardinalityEquivObjectOneOfEquivObjectSomeValuesFromEquivObjectUnionOfEquivSomeValuesFromEquivalentClassEquivalentDataPropertyEquivalentObjectPropertyEquivalentPropertyHasKeyNegativeDataPropertyAssertionNegativeObjectPropertyAssertionSubAllValuesFromSubClassOfSubDataAllValuesFromSubDataExactCardinalitySubDataHasValueSubDataMaxCardinalitySubDataMinCardinalitySubDataPropertyOfSubDataSomeValuesFromSubExactCardinalitySubHasValueSubMaxCardinalitySubMinCardinalitySubObjectAllValuesFromSubObjectExactCardinalitySubObjectHasValueSubObjectIntersectionOfSubObjectMaxCardinalitySubObjectMinCardinalitySubObjectOneOfSubObjectPropertyOfSubObjectPropertyOfChainSubObjectSomeValuesFromSubObjectUnionOfSubPropertyOfSubSomeValuesFromSuperAllValuesFromSuperDataAllValuesFromSuperDataExactCardinalitySuperDataHasValueSuperDataMaxCardinalitySuperDataMinCardinalitySuperDataSomeValuesFromSuperExactCardinalitySuperHasValueSuperMaxCardinalitySuperMinCardinalitySuperObjectAllValuesFromSuperObjectExactCardinalitySuperObjectHasValueSuperObjectIntersectionOfSuperObjectMaxCardinalitySuperObjectMinCardinalitySuperObjectOneOfSuperObjectSomeValuesFromSuperObjectUnionOfSuperSomeValuesFrom

Prefixes

🛈 Prefixes are removed from all listings on this page for readability, but are listed here in RDF Turtle format.

@prefix fmea:       <http://example.com/ns/asset-maintenance/fmea/>.
@prefix x:          <http://example.ottr.xyz/argument/>.
@prefix ottr:       <http://ns.ottr.xyz/0.4/>.
@prefix pav:        <http://purl.org/pav/>.
@prefix ax:         <http://tpl.ottr.xyz/owl/axiom/0.1/>.
@prefix o-owl-ax:   <http://tpl.ottr.xyz/owl/axiom/0.1/>.
@prefix o-owl-ma:   <http://tpl.ottr.xyz/owl/macro/0.1/>.
@prefix rstr:       <http://tpl.ottr.xyz/owl/restriction/0.1/>.
@prefix o-owl-re:   <http://tpl.ottr.xyz/owl/restriction/0.1/>.
@prefix o-owl-ut:   <http://tpl.ottr.xyz/owl/util/0.1/>.
@prefix fmea-tmp:   <http://tpl.ottr.xyz/p/asset-maintenance/fmea/0.2/>.
@prefix tmp1:       <http://tpl.ottr.xyz/p/asset-maintenance/general/0.1/>.
@prefix tmp2:       <http://tpl.ottr.xyz/p/asset-maintenance/general/0.2/>.
@prefix tmp:        <http://tpl.ottr.xyz/p/asset-maintenance/general/0.2/>.
@prefix inter:      <http://tpl.ottr.xyz/p/asset-maintenance/interface/0.2/>.
@prefix iso-tmp:    <http://tpl.ottr.xyz/p/asset-maintenance/iso14224/0.2/>.
@prefix macro:      <http://tpl.ottr.xyz/p/asset-maintenance/owl/macro/0.1/>.
@prefix ont:        <http://tpl.ottr.xyz/p/asset-maintenance/owl/ontology/0.1/>.
@prefix wo-tmp:     <http://tpl.ottr.xyz/p/asset-maintenance/work-orders/0.1/>.
@prefix o-pizza:    <http://tpl.ottr.xyz/pizza/0.1/>.
@prefix o-rdf:      <http://tpl.ottr.xyz/rdf/0.1/>.
@prefix o-rdfs:     <http://tpl.ottr.xyz/rdfs/0.1/>.
@prefix pz:         <http://www.co-ode.org/ontologies/pizza/pizza.owl#>.
@prefix rdf:        <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs:       <http://www.w3.org/2000/01/rdf-schema#>.
@prefix xsd:        <http://www.w3.org/2001/XMLSchema#>.
@prefix owl:        <http://www.w3.org/2002/07/owl#>.
@prefix skos:       <http://www.w3.org/2004/02/skos/core#>.




© 2015 - 2025 Weber Informatics LLC | Privacy Policy