Slides: Unit1 Unit2 Unit3 Unit4 Unit5 Unit6 Unit7
Examples:
Choose the reasoner: dlv dlt dlvhex dlvhex+dlt dlp Ontology:
Try LoIDE