hovlanddag 

Represenation of Literals, Prefixes, IRIs etc.

For Rdf, reasoning and querying

For RL reasoning over DagSemTools.Datalog

DotNet representation of OWL 2 Ontology

Extracts axioms from Rdf into Owl Ontology

For acyclic ALC ontologies

For parsing Rdf-1.2 Turtle

For parsing Manchester Owl

For Rdf, reasoning and querying

For parsing Datalog

For outputing Manchester Owl

For semi-positive datalog rules over Rdf

Common parser library for Dag's SemTech Tools

Translations to and from the description logic ELI

For Tableau reasoning over DagSemTools.OwlOntology

For parsing Sparql-1.2