The top documents tagged [semanticharald sack]
OpenHPI 5.3 - Tableaux Algorithm for ALC
299 views
OpenHPI 5.4 - Web Ontology Language
733 views
OpenHPI 5.2 - DL Inference and Reasoning
297 views
OpenHPI 4.5 - Foundations of Logic
587 views
OpenHPI 4.4 - Ontology Types
394 views