dase
, “Semantic Aspects of EarthCube”, 2012.
Earthcube-Semantic-Report2012.pdf (195.5 KB)
, “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)
, “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)
, “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)
, “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)
, “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)
, “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)
, Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen. Heidelberg, Germany: Synchron Verlag, 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.
, “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.
, “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)
, “Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'11, at the 22nd International Joint Conference on Artificial Intelligence, IJCAI-11, Barcelona, Catalonia (Spain), 2011”, Seventh International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'11, at the 22nd International Joint Conference on Artificial Intelligence, IJCAI-11, vol. 764. CEUR-WS.org, Barcelona, Catalonia, Spain, 2011.
, “Representation of Parsimonious Covering Theory in OWL-DL”, in Proceedings of the 8th International Workshop on OWL: Experiences and Directions {(OWLED} 2011), San Francisco, California, USA, June 5-6, 2011, San Francisco, California, USA, 2011, vol. 796.
PCT-OWLED2011.pdf (520.51 KB)
, “Semantic Web surveys and applications”, Semantic Web, vol. 2, no. 2, pp. 65–66, 2011.
SWJ-SemWeb-2011.pdf (28.25 KB)
, “Semantic Web tools and systems”, Semantic Web, vol. 2, no. 1, pp. 1–2, 2011.
SWJ-Tools-2011.pdf (25.82 KB)
