Publications
“Reasoning Approaches for Nominal Schemas”, vol. Poster and Demonstration Proceedings. JIST, Nara, Japan, 2012.
, “Reasoning with Fuzzy-EL+ Ontologies Using MapReduce”, in ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, 2012, vol. 242, pp. 933–934.
FuzzyEL-MR-ECAI12.pdf (169.87 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Recent Advances in Integrating OWL and Rules”, in Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Austria, Vienna, 2012, vol. 7497, pp. 225-228.
Recent Advances in Integrating OWL and Rules.pdf (175.88 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Reconciling OWL and Non-monotonic Rules for the Semantic Web”, in ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, 2012, vol. 242, pp. 474–479.
OWLRules-ECAI2012.pdf (199.35 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
“Automatic Domain Identification for Linked Open Data”, in 2013 IEEE/WIC/ACM International Conferences on Web Intelligence, WI 2013, Atlanta, GA, USA, 2013, pp. 205–212.
DomainIdentLOD-WI13.pdf (1.16 MB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Bridging KR and Machine Learning”, in Final Report on the 2013 NSF Workshop on Research Challenges and Opportunities in Knowledge Representation, Arlington, VA, 2013.
KR-ML-FinalReport-NSF2013.pdf (3.67 MB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Bridging open-world knowledge and closed-world data”, in Final Report on the 2013 NSF Workshop on Research Challenges and Opportunities in Knowledge Representation, Arlington, VA, 2013.
OpenWorld-ClosedWorld-FinalReport-NSF2013.pdf (3.67 MB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)