Welcome to py-horned-owl’s documentation!

Py-Horned-OWL is a library for Web Ontology Language in Python created using a bridge from Horned OWL to Python using PyO3. It supports loading, creation, modification, and saving of OWL2 ontologies using the optimized Horned-OWL Rust library.

Contents

• Quickstart
  • Installation
  • Work with ontologies
• Installation
  • With pip
  • From source
• Usage
  • Open an existing ontology
  • Save an ontology
  • Serializations
  • IRIs and CURIEs
  • Prefixes
  • Create entities
  • Pattern match
  • Write class expressions
  • Render a single axiom
• Performance
• Details
  • Mapping Rust ADT enums to Python classes
  • Wrapper types
  • Python documentation
  • Python stubs / type hints
• Reasoner
  • Built-in Structural Reasoner
  • Using External Reasoners
  • Developing a reasoner
  • How it works
• API
  • pyhornedowl
  • pyhornedowl.model
  • pyhornedowl.reasoning
  • pyhornedowl.profile