David Carral
“An Ontology Design Pattern for Activity Reasoning”, in Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference {(ISWC} 2014), Riva del Garda, Italy, October 19, 2014., 2014, pp. 78–81. An Ontology Design Pattern for Activity Reasoning.pdf (197.64 KB)
, “Pushing the Boundaries of Tractable Ontology Reasoning”, in The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II, 2014, pp. 148–163. Pushing the Boundaries of Tractable Ontology Reasoning.pdf (368.01 KB)
, “Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs”, in Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., 2014, pp. 128–140. Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs .pdf (381.91 KB)
, “A Geo-ontology Design Pattern for Semantic Trajectories”, in Spatial Information Theory - 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings, 2013, pp. 438–456. A Geo-Ontology Design Pattern for Semantic Trajectories.pdf (1.49 MB)
, “An Ontology Design Pattern for Cartographic Map Scaling”, in The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings, 2013, vol. 7882, pp. 76–93. An Ontology Design Pattern for Cartographic Map Scaling.pdf (667.45 KB)
, “SROIQ Syntax Approximation by Using Nominal Schemas”, in Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, 2013, pp. 988–999.
, “Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas”, in Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, 2013, pp. 65–79. Towards an Efficient Algorithm to Reason over Description Logics extended with Nominal Schemas.pdf (327.39 KB)
, “Extending Description Logic Rules”, in The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings, 2012, pp. 345–359. Extending Description Logic Rules.pdf (360.84 KB)
, “Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas”, in Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012, 2012, vol. 849. Integrating OWL and Rules A Syntax Proposal for Nominal Schemas.pdf (204.1 KB)
, “Konf Connect”, in Metadata Challenge at the 21st International Conference on World Wide Web (WWW 2012), Lyon, France, 2012. KonfConnect-MetadataChallenge-WWW2012.pdf (78.41 KB)
, “A logical geo-ontology design pattern for quantifying over types”, in SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL'12, Redondo Beach, CA, USA, November 7-9, 2012, 2012, pp. 239–248. A Logical Geo-Ontology Design Pattern for Quantifying over Types.pdf (227.63 KB)
, “Reasoning Approaches for Nominal Schemas”, vol. Poster and Demonstration Proceedings. JIST, Nara, Japan, 2012.
, “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)
,