Publications
“Reports of the AAAI 2012 Conference Workshops”, AI Magazine, vol. 33, pp. 119–127, 2012.
, “Reports of the AAAI 2012 Conference Workshops”, AI Magazine, vol. 33, no. 4, pp. 119-127, 2012.
, “A Resolution Procedure for Description Logics with Nominal Schemas”, in Semantic Technology, Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings, 2012, pp. 1–16.
, “Semantic Aspects of EarthCube”, 2012.
Earthcube-Semantic-Report2012.pdf (195.5 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Semantics and Ontologies for EarthCube”, in Workshop on GIScience in the Big Data Age, In conjunction with the seventh International Conference on Geographic Information Science 2012 (GIScience 2012), Columbus, Ohio, USA, 2012.
Semantics-Ontologies-EarthCube2012.pdf (62.78 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“A Tableau Algorithm for Description Logics with Nominal Schemas”, in Web Reasoning and Rule Systems, 6th International Conference, RR2012, Vienna, Austria, September 10-12, 2012, Proceedings, 2012, vol. 7497, pp. 234-237.
KH2012-TR.pdf (427.25 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Towards logical linked data compression”, in Proceedings of the Joint Workshop on Large and Heterogeneous Data and Quantitative Formalization in the Semantic Web, LHD+ SemQuant2012, at the 11th International Semantic Web Conference, ISWC2012, 2012.
, “Type-Elimination-Based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog”, Logical Methods in Computer Science, vol. 8, 2012.
type-elimination-2012.pdf (368.62 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Very Large Scale OWL Reasoning through Distributed Computation”, in 11th International Semantic Web Conference (ISWC 2012), Proceedings, Part II, Boston, MA, USA, 2012, vol. 7650, pp. 407–414.
Distributed-OWL-Reasoning-ISWC2012.pdf (142.32 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)