PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ludwig, Michel"

Author of the publication

copydeleteadd this publication to your clipboard
The Logical Difference for EL: From Terminologies Towards TBoxes.

, , and . IWOST-1, volume 1339 of CEUR Workshop Proceedings, page 31-41. CEUR-WS.org, (2015)

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.

Johannes Michel University of Stuttgart

Julian Ludwig University of Stuttgart

Michel Choudalakis University of Stuttgart

Hon. -Prof. Dr. -Ing. Ludwig Hieber University of Stuttgart

Michel Mom University of Stuttgart

 

Other publications of authors with the same name

Fair Derivations in Monodic Temporal Reasoning., and . CADE, volume 5663 of Lecture Notes in Computer Science, page 261-276. Springer, (2009)Brave and Cautious Reasoning in EL., and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 274-286. CEUR-WS.org, (2014)Deciding Subsumers of Least Fixpoint Concepts w.r.t. general EL -TBoxes., , and . KI, volume 9324 of Lecture Notes in Computer Science, page 59-71. Springer, (2015)The Logical Difference for the Lightweight Description Logic EL., , , and . CoRR, (2014)Towards Extracting Ontology Excerpts., , , and . KSEM, volume 9403 of Lecture Notes in Computer Science, page 78-89. Springer, (2015)Module Extraction via Query Inseparability in OWL 2 QL., , , , , and . Description Logics, volume 745 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs., and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 287-298. CEUR-WS.org, (2014)Foundations for the Logical Difference of EL-TBoxes., , and . GCAI, volume 36 of EPiC Series in Computing, page 93-112. EasyChair, (2015)Evaluation of Extraction Techniques for Ontology Excerpts., , , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 471-482. CEUR-WS.org, (2014)Resolution-Based Model Construction for PLTL., and . TIME, page 73-80. IEEE Computer Society, (2009)