View Document Preview and Link Document Date: 2012-04-26 07:06:34 Open Document File Size: 260,54 KB Share Result on Facebook
Company EL ontology S a / ELO ontology S a / Intel / Microsoft / / Facility František Simanˇcík Institute of Artificial Intelligence Ulm University / Computer Science University of Oxford / / IndustryTerm online tutorial / polynomial time algorithms / basic axiom reuse algorithm / axiom reusing algorithm / basic classification algorithm / Web Ontology Language / computing / rule applications / particular algorithm / / OperatingSystem Microsoft Windows / / Organization František Simanˇcík Institute / Artificial Copyright Intelligence / Germany Department / Association for the Advancement / European Union / Computer Science University of Oxford / Artificial Intelligence Ulm University / / Person Bob / Yevgeny Kazakov Markus Krötzsch / Mary / / Position representative / / Product Theorem 1 / / Technology RAM / particular algorithm / basic classification algorithm / artificial intelligence / Java / axiom reusing algorithm / polynomial time algorithms / CvD / basic axiom reuse algorithm / / URL http / SocialTag 
Practical Reasoning with Nominals in the EL Family of Description Logics Yevgeny Kazakov Markus Krötzsch and František Simanˇcík Institute of Artificial Intelligence