Author of the publication

A Proof Theory for DL-Lite.

, , and . Description Logics, volume 250 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)

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

Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification., and . RTA, volume 488 of Lecture Notes in Computer Science, page 124-135. Springer, (1991)EquiX - A Search and Query Language for XML, , , , , and . CoRR, (2000)Containment of Aggregate Queries., , and . ICDT, volume 2572 of Lecture Notes in Computer Science, page 111-125. Springer, (2003)Querying Semantically Tagged Documents on the World-Wide Web., , , , and . NGITS, volume 1649 of Lecture Notes in Computer Science, page 2-19. Springer, (1999)StuffIE: Semantic Tagging of Unlabeled Facets Using Fine-Grained Information Extraction., , and . CIKM, page 467-476. ACM, (2018)Implementing Query Completeness Reasoning., , and . CIKM, page 733-742. ACM, (2015)COOL-WD: A Completeness Tool for Wikidata., , , and . ISWC (Posters, Demos & Industry Tracks), volume 1963 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Modeling and Summarizing News Events Using Semantic Triples., , and . ESWC, volume 10843 of Lecture Notes in Computer Science, page 512-527. Springer, (2018)CoPMod: Support for Construction Process Modeling., , and . BPM (Dissertation/Demos/Industry), volume 2196 of CEUR Workshop Proceedings, page 61-65. CEUR-WS.org, (2018)Preface., , , and . KRDB, volume 45 of CEUR Workshop Proceedings, CEUR-WS.org, (2001)