VIStology's Flagship Product

BaseVISor

Highly-efficient semantic forward-chaining inference engine optimized for ontological and rule-based reasoning.

One of a kind Combines W3C® OWL 2 RL inference with custom domain rules
Incredibly fast Backed by optimized Rete network
Fully Extensible Logical infernece capability extensible to any domain with custom rules and user-defined functions
W3C® OWL 2 RL Proven polynomial complexity of logical inference
20+ Years Battle-tested in defense & commercial applications
Backed by Research Published at numerous conferences

Core Capabilities

A complete semantic inference toolkit — from standards-compliant reasoning to embeddable Java integration.

What It Does

OWL 2 RL Processing

Derive inferable facts implicit in RDF and OWL documents using the axioms of OWL 2 RL

Forward-Chaining Rete Engine

Optimized Rete network with fast hashed indexing, significantly faster than standard implementations for RDF triples

Custom Domain Rules Processing

Derive implict facts in your knowledge base using declarative custom domain rules express in a simple XML-based syntax

XSD Datatype Support

Full support for XML Schema datatypes ensuring data integrity across ontological reasoning

How You Use It

Embeddable Architecture

Seamlessly embed BaseVISor within Java applications via convenient API for loading facts, reasoning and querying. Build a RAG pipeline with sound, reliable inference at its heart.

User-Defined Functions

Write procedural attachments in Java to perform complex calculations, access web services, prompt an LLM, or execute new processes, and use them when developing custom domain rules.

Future-Proof Designs

Combine rule-based reasoning with compiled procedural code — change application rules without modifying the underlying code base.

How It Works

From data ingestion to enriched query results in four steps.

1

Load

Load RDF/OWL data files and custom domain rules via Java API or standalone command-line mode.

2

Build

Construct an optimized Rete network with fast hashed indexing for the loaded rule set.

3

Reason

Execute forward-chaining inference, deriving implicit facts from OWL 2 RL axioms and custom rules.

4

Query

Query the enriched fact base for results. Extend reasoning with user-defined procedural attachments as needed.

Real-World Applications

Security Policy Reconciliation

A security ontology and BaseVISor are used to analyze security policies to reconcile access controls for applications and resources between distributed domains — without requiring changes to individual security policies.

Federated Databases

Implement a common metadata structure for federating relational databases. Information about databases, tables, and data fields are retained in a metadata repository that can be updated rapidly, enabling precise combination of common information.

Enterprise Data Fusion

Business processes and data sources map to each other through a common meta-model, reducing data redundancy and providing a consistent semantic interpretation across enterprise applications.

Business Process Automation

A well-defined business ontology comprising critical metadata provides the means to tie systems together — increasing overall enterprise agility and flexibility through machine-based inference.

Backed by Research

BaseVISor's architecture has been validated through peer-reviewed publications at leading semantic web conferences and journals.

BaseVISor: A Forward-Chaining Inference Engine Optimized for RDF/OWL Triples

Matheus, C.J., et al. — ISWC 2006

View publication

BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules

Matheus, C.J., Baclawski, K. & Kokar, M.M. — 2nd Int'l Conference on Rules and Rule Languages for the Semantic Web

View publication

Detection of Suspicious Activity: Comparison of BaseVISor, Jena and Jess Rule Engines

Moskal, J.J. & Matheus, C.J. — RuleML 2008

View publication

Practical OWL 2 RL Reasoning Via Fast Forward-Chaining Inference Engines

Matheus, C.J. — Semantic Technology Conference

View publication
Demo Available

Try BaseVISor 2.x Demo

A limited demo version of BaseVISor 2.x is available for evaluation.

Free for Academic & Research Use

Licensed at no charge for academic institutions and research organizations

Unthrottled Performance

Full-speed inference capability of the commercial version

Maximum 10,000 Triples

Demo version supports inference on up to 10,000 triples

Commercial License Available

Available for Commercial Use

License BaseVISor for your products, or let VIStology build a custom solution tailored to your domain.

Standalone Licensing

Embed BaseVISor directly in your Java applications with a commercial license and full API access.

Custom Integration Support

VIStology engineers can wrap BaseVISor with the interfaces, connectors, and domain rules your products require.

Domain-Specific Solutions

From product lifecycle management to enterprise data fusion — we build turnkey solutions powered by BaseVISor for your specific application.