dase
“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)
“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)
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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“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)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Semantic Web surveys and applications”, Semantic Web, vol. 2, no. 2, pp. 65–66, 2011.
SWJ-SemWeb-2011.pdf (28.25 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Semantic Web tools and systems”, Semantic Web, vol. 2, no. 1, pp. 1–2, 2011.
SWJ-Tools-2011.pdf (25.82 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)
“Web Reasoning and Rule Systems: Five Years into the Conference”, in ALP Newsletter, Association of Logic Programming, 2011.
, “What's Happening in Semantic Web - .. and What FCA Could Have to Do with It”, in Formal Concept Analysis - 9th International Conference, ICFCA 2011, Nicosia, Cyprus, 2011, vol. 6628, pp. 18–23.
FCA-icfca11.pdf (120.81 KB)
, ![application/pdf PDF icon](/modules/file/icons/application-pdf.png)