RDFLib Reasoning Axioms
Agentic AI should be able to interface with formal logic.
Some formal logics (i.e., OWL 2) have a mapping from their axioms to RDF triples.
Unfortunately, one needs to refer to OWL 2 Web Ontology Language Mapping to RDF Graphs (Second Edition) if they want to extract axioms while working with RDFLib.
In my opinion, models should not be constrained to operate at the triple-level when using ontological data.
The rdflib-reasoning-axioms package facilitates axiom-based graph traversals for Large Language Models (LLMs), Graph Neural Networks (GNNs), and other ML approaches.
The rdflib-reasoning-axioms package is part of the rdflib-reasoning metapackage.
Feature Matrix
Status values:
Implemented: available in the package todayNot started: identified feature target with no concrete structural element implementation yet
The authoritative reference for this matrix is the local cached specification index at docs/specs/owl2-mapping-to-rdf/INDEX.md.
Core infrastructure
| Feature | Spec reference | Status | Notes |
|---|---|---|---|
GraphBacked base model |
package base infrastructure | Implemented | Common graph-scoped base for Pydantic models |
StructuralElement base model |
package base infrastructure | Implemented | Abstract OWL 2 structural element base with name, as_triples, and as_quads |
SEQ / RDF list helper |
SEQ |
Implemented | Generic Seq[T] helper for mapped RDF lists |
Ontology header and declarations
| Feature | Spec reference | Status |
|---|---|---|
| Ontology header | Ontology, imports, version |
Not started |
| Datatype declaration | DeclarationDatatype |
Not started |
| Class declaration | DeclarationClass |
Not started |
| Object property declaration | DeclarationObjectProperty |
Not started |
| Data property declaration | DeclarationDataProperty |
Not started |
| Annotation property declaration | DeclarationAnnotationProperty |
Not started |
| Named individual declaration | NamedIndividual |
Not started |
Data ranges and class expressions
| Feature | Spec reference | Status |
|---|---|---|
| Object inverse | ObjectInverseOf |
Not started |
| Data intersection | DataIntersectionOf |
Not started |
| Data union | DataUnionOf |
Not started |
| Data complement | DataComplementOf |
Not started |
| Data enumeration | DataOneOf |
Not started |
| Datatype restriction | DatatypeRestriction |
Not started |
| Object intersection | ObjectIntersectionOf |
Not started |
| Object union | ObjectUnionOf |
Not started |
| Object complement | ObjectComplementOf |
Not started |
| Object enumeration | ObjectOneOf |
Not started |
| Object existential restriction | ObjectSomeValuesFrom |
Not started |
| Object universal restriction | ObjectAllValuesFrom |
Not started |
| Object value restriction | ObjectHasValue |
Not started |
| Object self restriction | ObjectHasSelf |
Not started |
| Object min cardinality | ObjectMinCardinality, ObjectMinCardinalityQualified |
Not started |
| Object max cardinality | ObjectMaxCardinality, ObjectMaxCardinalityQualified |
Not started |
| Object exact cardinality | ObjectExactCardinality, ObjectExactCardinalityQualified |
Not started |
| Data existential restriction | DataSomeValuesFrom, DataSomeValuesFromNary |
Not started |
| Data universal restriction | DataAllValuesFrom, DataAllValuesFromNary |
Not started |
| Data value restriction | DataHasValue |
Not started |
| Data min cardinality | DataMinCardinality, DataMinCardinalityQualified |
Not started |
| Data max cardinality | DataMaxCardinality, DataMaxCardinalityQualified |
Not started |
| Data exact cardinality | DataExactCardinality, DataExactCardinalityQualified |
Not started |
Class axioms
| Feature | Spec reference | Status |
|---|---|---|
| Subclass axiom | SubClassOf |
Not started |
| Equivalent classes | EquivalentClasses |
Not started |
| Disjoint classes | DisjointClasses, DisjointClassesNary |
Not started |
| Disjoint union | DisjointUnion |
Not started |
Object property axioms
| Feature | Spec reference | Status |
|---|---|---|
| Subobject property axiom | SubObjectPropertyOf, SubObjectPropertyOfChain |
Not started |
| Equivalent object properties | EquivalentObjectProperties |
Not started |
| Disjoint object properties | DisjointObjectProperties, DisjointObjectPropertiesNary |
Not started |
| Object property domain | ObjectPropertyDomain |
Not started |
| Object property range | ObjectPropertyRange |
Not started |
| Inverse object properties | InverseObjectProperties |
Not started |
| Functional object property | FunctionalObjectProperty |
Not started |
| Inverse-functional object property | InverseFunctionalObjectProperty |
Not started |
| Reflexive object property | ReflexiveObjectProperty |
Not started |
| Irreflexive object property | IrreflexiveObjectProperty |
Not started |
| Symmetric object property | SymmetricObjectProperty |
Not started |
| Asymmetric object property | AsymmetricObjectProperty |
Not started |
| Transitive object property | TransitiveObjectProperty |
Not started |
Data property axioms
| Feature | Spec reference | Status |
|---|---|---|
| Subdata property axiom | SubDataPropertyOf |
Not started |
| Equivalent data properties | EquivalentDataProperties |
Not started |
| Disjoint data properties | DisjointDataProperties, DisjointDataPropertiesNary |
Not started |
| Data property domain | DataPropertyDomain |
Not started |
| Data property range | DataPropertyRange |
Not started |
| Functional data property | FunctionalDataProperty |
Not started |
| Datatype definition | DatatypeDefinition |
Not started |
Keys, assertions, and annotations
| Feature | Spec reference | Status |
|---|---|---|
| Has-key axiom | HasKey |
Not started |
| Same individual | SameIndividual |
Not started |
| Different individuals | DifferentIndividuals, DifferentIndividualsNary |
Not started |
| Class assertion | ClassAssertion |
Not started |
| Object property assertion | ObjectPropertyAssertion, ObjectPropertyAssertionInverseOf |
Not started |
| Negative object property assertion | NegativeObjectPropertyAssertion |
Not started |
| Data property assertion | DataPropertyAssertion |
Not started |
| Negative data property assertion | NegativeDataPropertyAssertion |
Not started |
| Annotation assertion | AnnotationAssertion |
Not started |
| Subannotation property axiom | SubAnnotationPropertyOf |
Not started |
| Annotation property domain | AnnotationPropertyDomain |
Not started |
| Annotation property range | AnnotationPropertyRange |
Not started |
| Annotation value | Annotation, AnnotationWithAnnotation |
Not started |
| Annotated axioms | AxiomAnnotationMainTriple, AxiomAnnotationMultipleTriple, AxiomAnnotationBlankNode |
Not started |
1 maintainer
Metadata
1 maintainer
Release files for rdflib-reasoning-axioms 0.4.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| rdflib_reasoning_axioms-0.4.0.tar.gz | 7.2 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| rdflib_reasoning_axioms-0.4.0-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 14.0 kB
Release files / rdflib_reasoning_axioms-0.4.0.tar.gz
| Download URL | rdflib_reasoning_axioms-0.4.0.tar.gz |
|---|---|
| Size | 7.2 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
101235d90a75f318ef35c50db5dfa3c6187c6d3e5558636cba6d00cf21767556
|
|
BLAKE2b-256 checksum How to use checksums |
c1b852174f9fa0f2c2099c5b86ca60c26ecb595f070ad8438648eac8c34e5b84
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.12
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Apr 30, 2026.
Transparency logRelease files / rdflib_reasoning_axioms-0.4.0-py3-none-any.whl
| Download URL | rdflib_reasoning_axioms-0.4.0-py3-none-any.whl |
|---|---|
| Size | 6.8 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
e70cb4c48f021101f5bafbc0d286006f1eb5b5819ef8a0690596a77619db4100
|
|
BLAKE2b-256 checksum How to use checksums |
d9322efa7701e9544832d6048d266f1b3e978edc7fe46d74a27d2fd37f1554a7
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.12
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Apr 30, 2026.
Transparency log
