]> 2012-05-29T09:21:00-04:00 Thorsten Liebig Thorsten Thorsten Liebig Liebig Thorsten Liebig Understanding Large Volumes of Interconnected Individuals by Visual Exploration Real-World Reasoning with OWL OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies Storing and Querying Ontologies in Logic Databases OWLlink: DIG for OWL 2 DBLP:journals/ws/LiebigN05 SSWS 2007 PC Co-chairs' Message Parallelizing Tableaux-Based Description Logic Reasoning DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners Has author Has surname Has identifier Has given name Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person