Author of the publication

Explanation of OWL Entailments in Protege 4.

, , and . ISWC (Posters & Demos), volume 401 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Complexity of the Graded µ-Calculus., , and . CADE, volume 2392 of Lecture Notes in Computer Science, page 423-437. Springer, (2002)A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions, , and . LTCS-Report, 99-08. LuFg Theoretical Computer Science, RWTH Aachen, Germany, (1999)Using OWL to model biological knowledge, , , , , , and . Int. J. Hum.-Comput. Stud., 65 (7): 583--594 (2007)Description Logics with Concrete Domains and Aggregation., and . ECAI, page 336-340. John Wiley and Sons, (1998)Using OWL to model biological knowledge., , , , , , and . Int. J. Hum. Comput. Stud., 65 (7): 583-594 (2007)OWL 2: The next step for OWL, , , , , and . Web Semantics, 6 (4): 309--322 (2008)Hybrid Logics and Ontology Languages., , and . HyLo@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 3-14. Elsevier, (2006)Constructible Differentially Finite Algebraic Series in Several Variables., and . Theor. Comput. Sci., 144 (1&2): 59-65 (1995)Safe and Economic re-use of ontologies: a logic-based methodology and tool support, , , , and . Proceedings of the 5th European Semantic Web Conference, Berlin, Heidelberg, Springer Verlag, (June 2008)Completing Desscription Logic Knowledge Bases using Formal Concept Analysis, , , and . OWLED 2007, (2008)