Can Virtuoso automatically extract OWL axioms from an RDB schema?

Virtuoso Universal Server
1

Hi Everyone

I need to know In the context of RDB2RDF mapping, can Virtuoso automatically extract OWL axioms from an RDB schema without human intervention?
Specifically, if the input is an RDBMS such as Oracle, MySQL, or SQL-Server, how many of the following axioms can Virtuoso automatically extract or infer from the input RDBMS without any manual intervention?

Class Expression Axioms:

  1. Subclass Axioms
  2. Equivalent Classes
  3. Disjoint Classes
  4. Disjoint Union of Class Expressions

Object Property Axioms:

  1. Object Subproperties
  2. Equivalent Object Properties
  3. Disjoint Object Properties
  4. Inverse Object Properties
  5. Object Property Domain
  6. Object Property Range
  7. Functional Object Properties
  8. Inverse-Functional Object Properties
  9. Reflexive Object Properties
  10. Irreflexive Object Properties
  11. Symmetric Object Properties
  12. Asymmetric Object Properties
  13. Transitive Object Properties

Data Property Axioms:

  1. Data Subproperties
  2. Equivalent Data Properties
  3. Disjoint Data Properties
  4. Data Property Domain
  5. Data Property Range
  6. Functional Data Properties

And how does Virtuoso handle updates to the RDB schema - does it automatically update the extracted OWL axioms?

Thanks in advance!

2

Virtuoso can be used to create RDF-based Linked Data Views (RDF Views) of remote RDB schemas, which can then be used to infer OWL axioms under certain conditions. This process involves mapping the relational data to RDF and then applying semantic reasoning to infer OWL axioms.

Here’s a general overview of how you can achieve this with Virtuoso:

  1. Connect to the Remote RDB Schema:
  • Use Virtuoso’s capabilities to connect to the remote RDB schema via ODBC or JDBC. This involves setting up a Data Source Name (DSN) that points to the remote database.
  1. Create RDF Views:
  1. Apply Semantic Reasoning:
  • Once the RDF views are in place, you can apply semantic reasoning to infer OWL axioms. Virtuoso supports this through its built-in inference and reasoning capabilities, which can be enabled on the RDF Views.
  1. Querying the RDF Data:
  • After setting up the RDF Views and enabling reasoning, you can use SPARQL to query the RDF data and retrieve the inferred OWL axioms.
1 Like