Modelname:

Ontology (OWL DL)

OR as a file:

Format:
RDF/XML
N3
N-TRIPLE

More files...

F-Logic Rules

OR as a file:

Format:
PLAIN Florid/F-Logic
XML