Publications
“Distributed OWL EL Reasoning: The Story So Far”, in Proceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems, Riva Del Garda, Italy, Riva del Garda, Italy, 2014, vol. 1261, pp. 61-76.
Distributed-EL-Story-SSWS2014.pdf (437.93 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)
, 
“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)
, 
“ Propositional rule extraction from neural networks under background knowledge”, in Twelfth International Workshop on Neural-Symbolic Learning and Reasoning, 2017.
main.pdf (270.11 KB)
, 
“A Modification to the Hazardous Situation ODP to Support Risk Assessment and Mitigation”, in Workshop on Ontology Design Patterns (WOP), 2016.
modification-hazardous-situation.pdf (278.75 KB)
, 
“A Modification to the Hazardous Situation ODP to Support Risk Assessment and Mitigation”, in Workshop on Ontology Design Patterns (WOP), 2016.
modification-hazardous-situation.pdf (278.75 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)
, 
“Multimodal mental health analysis in social media”, PLoS ONE, 2020.
journal.pone_.0226248-min.pdf (1007.16 KB)
, 
“Concept learning in description logics using refinement operators”, Machine Learning, vol. 78, pp. 203–250, 2010.
lehmann-hitzler-MLJ-2010.pdf (1.05 MB)
, 
“10302 Abstracts Collection - Learning paradigms in dynamic environments”, Learning paradigms in dynamic environments. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Germany, 2010.
, “Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, 2017.
PhD Dissertation Carral.pdf (578.29 KB)
, 
“Completion Reasoning Emulation for the Description Logic EL+”, Proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice, vol. 2600. CEUR-WS.org, Stanford University, Palo Alto, California, USA, 2020.
paper5.pdf (1.89 MB)
, 
“Provenance Context Entity (PaCE): Scalable Provenance Tracking for Scientific RDF Data”, in Scientific and Statistical Database Management, 22nd International Conference, SSDBM 2010, Heidelberg, Germany, 2010, vol. 6187, pp. 461–470.
PaCE-SSDBM2010.pdf (810.08 KB)
, 
“Semantic Compression with Region Calculi in Nested Hierarchical Grids (Technical Report)”, 2021.
Semantic Compression Technical Report (354.64 KB)
, 
“Semantic Compression with Region Calculi in Nested Hierarchical Grids”, in Proceedings of the 29th International Conference on Advances in Geographic Information Systems, New York, NY, USA, 2021, pp. 305–308.
semantic_compression.pdf (444.8 KB)
, 