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)
, “A Domain Ontology for Task Instructions”, in KGSWC, 2020. 2020KGSWCADomainOntologyforTaskInstructions.pdf (818.33 KB)
, “A Functional API for OWL”, The 19th International Semantic Web Conference, vol. 2721. 2020. ISWC2020fOWL.pdf (159.06 KB)
, “An Ontology of Instruction 1.0”, 2020. Ontology_of_Instruction_Documentation.pdf (678.38 KB)
, “Towards a Modular Ontology for Space Weather Research”, CoRR, vol. abs/2009.12285, 2020. Numeric_Transformation_Pattern.pdf (521.25 KB)
, “A Method for Automatically Generating Schema Diagrams for OWL Ontologies”, in 1st Iberoamerican Knowledge Graph and Semantic Web Conference (KGSWC), Villa Clara, Cuba, 2019. paper.pdf (386.54 KB)
, “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)
,