Author of the publication

Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441).

, , and . Dagstuhl Reports, 2 (10): 105-116 (2012)

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

Relationships with other Formalisms., , and . Description Logic Handbook, page 137-177. Cambridge University Press, (2003)Knowledge Representation in Process Engineering., and . Description Logics, volume WS-96-05 of AAAI Technical Report, page 74-78. AAAI Press, (1996)JustBench: A Framework for OWL Benchmarking., , and . International Semantic Web Conference (1), volume 6496 of Lecture Notes in Computer Science, page 32-47. Springer, (2010)Extracting Justifications from BioPortal Ontologies., , and . International Semantic Web Conference (2), volume 7650 of Lecture Notes in Computer Science, page 287-299. Springer, (2012)Query Answering for OWL-DL with Rules., , and . International Semantic Web Conference, volume 3298 of Lecture Notes in Computer Science, page 549-563. Springer, (2004)Seven Bottlenecks to Workflow Reuse and Repurposing., , , and . International Semantic Web Conference, volume 3729 of Lecture Notes in Computer Science, page 323-337. Springer, (2005)From Justifications to Proofs for Entailments in OWL., , and . OWLED, volume 529 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Description Logics as Ontology Languages for the Semantic Web., , and . Mechanizing Mathematical Reasoning, volume 2605 of Lecture Notes in Computer Science, page 228-248. Springer, (2005)The Complexity of Finite Model Reasoning in Description Logics., , and . CADE, volume 2741 of Lecture Notes in Computer Science, page 60-74. Springer, (2003)The Complexity of the Graded µ-Calculus., , and . CADE, volume 2392 of Lecture Notes in Computer Science, page 423-437. Springer, (2002)