hovlanddag 

For acyclic ALC ontologies

For RL reasoning over DagSemTools.Datalog

Represenation of Literals, Prefixes, IRIs etc.

Extracts axioms from Rdf into Owl Ontology

For Rdf, reasoning and querying

For parsing Datalog

Translations to and from the description logic ELI

DotNet representation of OWL 2 Ontology

For Rdf, reasoning and querying

For parsing Rdf-1.2 Turtle

Common parser library for AlcTableau

For semi-positive datalog rules over Rdf

For parsing Manchester Owl

For outputing Manchester Owl