Publications
“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)
, 
“Pseudo-Random ALC Syntax Generation”, in The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers, Heraklion, Crete, Greece, 2018, vol. 11155, pp. 19–22.
Pseudo_Random_ALC_Syntax_Generation.pdf (134.95 KB)
, 
“Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, 2017.
PhD Dissertation Carral.pdf (578.29 KB)
, 
“Paraconsistent OWL and Related Logics”, Semantic Web, vol. 4, pp. 395–427, 2013.
paraOWL-2013.pdf (698.73 KB)
, 
“A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies”, in Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011, 2011, pp. 645-654.
KroetzschMaierKrisnadhiHitzler-WWW11.pdf (406.28 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)
, 
“Local Closed World Semantics: Keep it simple, stupid!”, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
,