Keyword:Ontologies

Publications
Ontologies and Semantic Rules in Real Life Michel Vanden Bossche-Marquette, Léa Guizol and Rémi Le Brouster EasyChair Preprint 15236
Ontology as a Source for Rule Generation Olegs Verhodubs EasyChair Preprint 10518
Japanese Visual Media Graph: Providing researchers with data from enthusiast communities Magnus Pfeffer and Martin Roth EasyChair Preprint 1800
SWRL2SPIN: Converting SWRL to SPIN Nick Bassiliades EasyChair Preprint 520
A Case for Extensional Non-Wellfounded Metamodeling Joseph Zalewski and Pascal Hitzler In:LPAR 2024 Complementary Volume
Towards Word Sense Disambiguation by Reasoning Javier Álvez, Itziar Gonzalez-Dios and German Rigau In:Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops
CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning Sophie Siebert and Frieder Stolzenburg In:Selected Student Contributions and Workshop Papers of LuxLogAI 2018
Abduction for Learning Smart City Rules Nikolaj Bjorner, Maria-Cristina Marinescu and Mooly Sagiv In:GCAI 2017. 3rd Global Conference on Artificial Intelligence
Reasoning with Concept Diagrams about Antipatterns Zohreh Shams, Mateja Jamnik, Gem Stapleton and Yuri Sato In:IWIL Workshop and LPAR Short Presentations
Evaluating Automated Theorem Provers Using Adimen-SUMO Javier Álvez, Paqui Lucio and German Rigau In:Vampire 2016. Proceedings of the 3rd Vampire Workshop