DL Query¶
Honesty — Protégé-inspired, not HermiT-identical
Query Workbench DL mode is Protégé-inspired: Manchester class expression → Instances / Subclasses / Superclasses / Equivalents. It is not HermiT’s DL Query tab.
- Classification uses OntoLogos profiles (
el/dl/rl/rdfs/auto) — not certified HermiT-identical. - Some Protégé tab UX and edge cases differ; dual-tool check critical audits.
- Not Protégé DL Query for Workbench SQL and SPARQL modes — use dedicated DL mode (or CLI / LSP) for class-expression queries.
See Known limitations and Reasoner guide.
OntoCode ships DL Query in Query Workbench DL mode (v0.24+): Manchester class expressions with the four result tabs above (asserted or inferred).
What ships¶
| Surface | Detail |
|---|---|
| Query Workbench DL mode | Manchester class expression → Instances / Subclasses / Superclasses / Equivalents |
| CLI | ontocore dl-query |
| LSP | ontocore/dlQuery |
Related query surfaces:
| Need | Use today |
|---|---|
Catalog questions (SELECT … FROM classes) | Query Workbench SQL mode — SQL reference |
| Graph patterns | Query Workbench SPARQL mode — SPARQL reference |
| Inferred types / instance checks | ontocore realize / ontocore check-instance or LSP ontocore/checkInstance — realize cookbook |
| Unsatisfiable classes | Reasoner panel / ontocore classify — Reasoner guide |
Open DL Query in VS Code¶
- Command Palette → OntoCode: Open Query Workbench
- Set Mode to DL Query
- Enter a Manchester class expression (e.g.
Person and hasPet some Dog) - Choose asserted or inferred, then run — results appear in the four tabs
Asserted mode: named-class instances come from asserted class assertions (including asserted subclasses). Anonymous expressions still need inferred mode for instances. Saved DL queries remember the asserted/inferred toggle.
CLI¶
ontocore dl-query "Person and hasPet some Dog" --workspace /path/to/ontologies --profile dl
See CLI reference and v0.24 migration.
Gaps vs Protégé DL Query¶
| Expectation | OntoCode today |
|---|---|
| HermiT-identical classification | No — OntoLogos profiles; dual-tool check when required |
| Full Protégé DL Query tab UX | Partial — four result tabs; not a pixel clone |
| SQL/SPARQL as “DL Query” | No — use dedicated DL mode |
Keep Protégé when you need HermiT-identical behavior or other gaps in Known limitations. See Protégé coexistence and Migrating from Protégé.