Meet OntoBroker
OntoBroker (OB) is an industrial-strength reasoning engine designed for active ontologies. Unlike many inference engines that remain stuck in academic prototypes, OntoBroker has been refined through decades of real-world enterprise deployments since the early 2000s. At its core, it runs the ObjectLogic stack—the successor to F-Logic 2—delivering a proven combination of expressivity, performance, and explainability for knowledge-driven systems.
Turn Spreadsheets Into…
Knowledge Capture
Knowledge capture and rule authoring by subject-matter experts
Ontology Debugging
Interactive querying, validation, and debugging of enterprise ontologies
Explainable Apps
Building explainable, spreadsheet-driven apps that leverage OntoBroker reasoning
Core Capabilities of OntoBroker
Design rich, expressive ontologies with support for OWL, RDF, and SHACL. Model complex domains in a way that machines and people can understand.
Declare concepts, rules, and facts via =OB.DeclareAxioms(...); results and status messages are returned directly to cells.
Apply built-in inference engines and rule-based logic to uncover hidden relationships, validate consistency, and ensure compliance with business and regulatory requirements.
Empower teams to work together in real time with version control, annotations, and conflict resolution. Designed for both domain experts and technical users.
Run locally or in the cloud with flexible deployment options. Built to handle enterprise-scale datasets and mission-critical use cases.
Leverage extensions, APIs, and integrations with IDEs like Visual Studio Code for streamlined development, automation, and customization.
Hybrid AI for Knowledge-Driven Systems
Why OntoBroker Powers Explainable AI
Why Hybrid AI is different
The Challenge
Most AI today is a black box. Large Language Models are powerful but opaque – they hallucinate, they can’t explain their answers, and they raise compliance concerns.
Our Solution
semafora takes a different approach. Our Hybrid AI platform fuses LLMs with symbolic reasoning. This means free text is understood in context – and every output is translated into explainable, rule-based logic.
Your Advantage
Powerful AI you can actually trust, because every step is verifiable and compliant by design.
✦ Process
How it works
Connect
Create a Manager to one or more OntoBroker servers and bind named ontology objects in the workbook.
Model
Declare axioms/rules using ObjectLogic via worksheet functions (with syntax-colored editing on F2).
Automate
Call Java/Python helpers where needed; intermediate objects appear as named references in cells.
Feature Updates
What´s new
Additions
Press F2 to open the active cell content in VS Code; save and exit to sync changes back into the sheet.
The F2 editor highlights ObjectLogic constructs for faster reading and fewer mistakes.
Still have a question? Browse documentation or submit a ticket.

Let’s build together
Ready to unlock transparent AI for your enterprise?
Take the first steps in your transformation