Publications
“Web Reasoning and Rule Systems. Fourth International Conference, RR 2010, Bressanone, Italy, September 22-24, 2010, Proceedings”, 4th International Conference on Web Reasoning and Rule Systems, vol. 6333. Springer, Bressanone, Italy, 2010.
, “A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies”, in Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011, 2011, pp. 645-654.
KroetzschMaierKrisnadhiHitzler-WWW11.pdf (406.28 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Computing Inconsistency Measure based on Paraconsistent Semantics”, Journal of Logic and Computation, vol. 21, no. 6, pp. 1257–1281, 2011.
JLC-incons-measure-2011.pdf (459.85 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Contextual Ontology Alignment of LOD with an Upper Ontology: A Case Study with Proton”, in The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, 2011, vol. 6643, pp. 80–92.
blooms-eswc2011.pdf (366.02 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Local Closed World Reasoning with Description Logics under the Well-Founded Semantics”, Artificial Intelligence, vol. 175, no. 9-10, pp. 1528–1554, 2011.
LocalClosed-AI-2011.pdf (354.24 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Local Closed World Semantics: Grounded Circumscription for Description Logics”, in Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings, 2011, vol. 6902, pp. 263-268.
KriSenHit-GroundedCircumscriptionDL-RR2011.pdf (259.67 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Local Closed World Semantics: Grounded Circumscription for OWL”, in The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I, 2011, vol. 7031, pp. 617-632.
SenKriHit-GroundedCircumscriptionOWL-ISWC2011.pdf (385.97 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Local Closed World Semantics: Keep it simple, stupid!”, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
, Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen. Heidelberg, Germany: Synchron Verlag, 2011.
, “MapSSS Results for OAEI 2011”, in 6th International Workshop on Ontology Matching, Bonn, Germany, 2011.
MapSSS2011.pdf (24.49 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“On the Move to Meaningful Internet Systems: OTM 2011. Confederated International Conferences, CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II”, Confederated International Conferences, CoopIS, DOA-SVI, and ODBASE 2011, vol. 7045. Springer, Hersonissos, Crete, Greece, 2011.
, “On the Move to Meaningful Internet Systems: OTM 2011. Confederated International Conferences, CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I”, Confederated International Conferences, CoopIS, DOA-SVI, and ODBASE 2011, vol. 7044. Springer, Hersonissos, Crete, Greece, 2011.
, “Nominal Schemas for Integrating Rules and Description Logics”, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
, “OWL and Rules”, in Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures, 2011, vol. 6848, pp. 382-415.
KriMaiHit-OWLRules-RW2011.pdf (427.87 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Paraconsistent Semantics for Hybrid MKNF Knowledge Bases”, in Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, 2011, vol. 6902, pp. 93–107.
para-hmknf-RR2011.pdf (401.56 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)