SBOL Ontology

The SBOL-OWL ontology provides a set of controlled terms that are used to describe genetic circuit designs using SBOL. Terms are included for the followings.


Browse the SBOL-OWL terms via an HTML page.


SBOL-OWL is available in different formats.

Semantic reasoning

SBOL-OWL can be combined with any SBOL document to query genetic circuit designs using semantic queries. The semanticSBOL Java library has been developed to facilitate this process. The resulting files can then be submitted to existing reasoners for semantic inferencing. The library also includes methods to check the consistency of SBOL files, to execute semantic queries, and to list inconsistencies programmatically.

Click here to access the documentation and examples to use the library programmatically.

The semanticSBOL library can be used from the command line to merge SBOL files with the SBOL-OWL ontology.

Usage: sbolowl_file sboldesign_file merged_file


java -cp semanticSBOL-1.0-SNAPSHOT-jar-with-dependencies.jar sbol.rdf mapsto.rdf mapsto_sbolowl_consistent.rdf

Download semanticSBOL

Click here to download the standalone sbol-sem Java library as a single file including all the dependencies.
Click here to download the sbol-sem Java library only. Dependencies are not included.