Publications
Export 10 results: 
Filters: Author is David Carral and Keyword is OWL  [Clear All Filters]
, “All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles”, in Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), Riva del Garda, Italy, October 17-18, 2014., 2014, vol. 1265, pp. 97-108. All But Not Nothing- Left-Hand Side Universals for Tractable OWL Profiles.pdf (332.97 KB)
 All But Not Nothing- Left-Hand Side Universals for Tractable OWL Profiles.pdf (332.97 KB)
 All But Not Nothing- Left-Hand Side Universals for Tractable OWL Profiles.pdf (332.97 KB)
 All But Not Nothing- Left-Hand Side Universals for Tractable OWL Profiles.pdf (332.97 KB), “EL-ifying Ontologies”, in Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 19-22, 2014. Proceedings, 2014, pp. 464–479. EL-ifying Ontologies.pdf (581.68 KB)
 EL-ifying Ontologies.pdf (581.68 KB)
 EL-ifying Ontologies.pdf (581.68 KB)
 EL-ifying Ontologies.pdf (581.68 KB), “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)
 An Ontology Design Pattern for Activity Reasoning.pdf (197.64 KB)
 An Ontology Design Pattern for Activity Reasoning.pdf (197.64 KB)
 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)
 Pushing the Boundaries of Tractable Ontology Reasoning.pdf (368.01 KB)
 Pushing the Boundaries of Tractable Ontology Reasoning.pdf (368.01 KB)
 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)
 Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs .pdf (381.91 KB)
 Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs .pdf (381.91 KB)
 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)
 A Geo-Ontology Design Pattern for Semantic Trajectories.pdf (1.49 MB)
 A Geo-Ontology Design Pattern for Semantic Trajectories.pdf (1.49 MB)
 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)
 An Ontology Design Pattern for Cartographic Map Scaling.pdf (667.45 KB)
 An Ontology Design Pattern for Cartographic Map Scaling.pdf (667.45 KB)
 An Ontology Design Pattern for Cartographic Map Scaling.pdf (667.45 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)
 Extending Description Logic Rules.pdf (360.84 KB)
 Extending Description Logic Rules.pdf (360.84 KB)
 Extending Description Logic Rules.pdf (360.84 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)
 A Logical Geo-Ontology Design Pattern for Quantifying over Types.pdf (227.63 KB)
 A Logical Geo-Ontology Design Pattern for Quantifying over Types.pdf (227.63 KB)
 A Logical Geo-Ontology Design Pattern for Quantifying over Types.pdf (227.63 KB), “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)
 Recent Advances in Integrating OWL and Rules.pdf (175.88 KB)
 Recent Advances in Integrating OWL and Rules.pdf (175.88 KB)
 Recent Advances in Integrating OWL and Rules.pdf (175.88 KB)
