Skip to content

DL evaluation example

OWL 2 DL classification on PyPI / crates.io 1.0.0.

Install: Install channels · API: DL reference.

Prerequisites

  • Rust 1.88+ (for CLI) or Python 3.10+

Download Pizza (not bundled in pip/crates.io installs):

Or clone and run ./benchmarks/scripts/download.sh. CLI install: CLI installation.

CLI

ontologos --format json classify \
  --profile dl --budget-secs 30 pizza.owl

Expected: status: "classified", subsumption_count > 0, consistency complete: true when run via consistent subcommand first.

ontologos --format json consistent \
  --budget-secs 30 pizza.owl

Rust (facade)

use ontologos_core::{Profile, Reasoner, ReasonerConfig};
use ontologos_facade::{check_consistency, classify, ClassifyOutcome};
use ontologos_parser::load_ontology;

let mut reasoner = Reasoner::builder()
    .profile(Profile::Dl)
    .config(ReasonerConfig {
        budget_secs: Some(30),
        ..ReasonerConfig::default()
    })
    .build(load_ontology("pizza.owl".as_ref())?)?;

let result = check_consistency(&reasoner)?;
assert!(result.complete && result.consistent);

match classify(&mut reasoner)? {
    ClassifyOutcome::Taxonomy(t) => println!("subsumptions: {}", t.subsumption_count()),
    _ => unreachable!(),
}

Python

pip install ontologos==1.0.0

from ontologos import Reasoner

reasoner = Reasoner(
    path="pizza.owl",
    profile="dl",
    budget_secs=30,
)
consistency = reasoner.check_consistency()
if not consistency["complete"]:
    raise RuntimeError("increase budget_secs")
report = reasoner.classify()
print(report["subsumption_count"])