fuxi-engineer

Use FuXi for semantic web reasoning (RDF, OWL, SPARQL)

FuXi is a Python bi-directional reasoning engine (forward/bottom-up + backward/top-down) companion to RDFLib.

What I do

• Try steps of reasoning and generation of proofs
• Add annotations to OWL ontologies
• Summarizing an OWL ontology using InfixOWL API
• Performing theorem proving services
• Make use of QLever for SPARQL interlocution with ontologies and/or rules
• Use robot to validate if an ontology is in the OWL 2 RL profile (and therefore can be used with DLP)
• Use riot to convert between RDF formats

When to Use This Skill

• When you need to interpret an OWL ontology rule file
• When you need to answer SPARQL queries
• When you need to add annotations to OWL ontology using InfixOWL API

Basic Principles

The best format for OWL ontologies is OWL/RDF/XML, for compatibility with ontology tools such as protege.
When verbalizing or serializing OWL for human eyes or reviewing narrative readability, the preferred syntax is Manchester OWL (OWL/RDF/XML):

from rdflib import Graph
from fuxi.cli.renderers import _render_man_owl as render_man_owl
from fuxi.Syntax.InfixOWL import all_classes, all_properties
ontology_graph = Graph().parse("ontology.owl")

for p in all_properties(ontology_graph):
    print(p.identifier, list(p.label))
    print(repr(p))
for c in all_classes(ontology_graph):
    print(c.__repr__(True))

Otherwise, turtle is the preferred format for RDF/XML if it has no rules or N3 if it does. SPARQL files should be managed in separate .rq files.

Some core RDF vocabularies to re-use whenever possible:

• skos (SKOS Simple Knowledge Organization System Reference)
• OBO Information Artifact ontology IAO Information Artifact Ontology
• (Relation Ontology)
• FOAF Vocabulary Specification
• dublin core (DCMI Metadata expressed in RDF Schema Language)
• (https://www.w3.org/TR/rdf-schema/)[RDFS]