A novel approach and practical algorithms for ontology integration G Stoilos, D Geleta, J Shamdasani, M Khodadadi
International Semantic Web Conference, 458-476, 2018
33 2018 The tableau prover generator MetTeL2 D Tishkovsky, RA Schmidt, M Khodadadi
European Workshop on Logics in Artificial Intelligence, 492-495, 2012
33 2012 Supporting digital healthcare services using semantic web technologies G Barisevičius, M Coste, D Geleta, D Juric, M Khodadadi, G Stoilos, ...
International Semantic Web Conference, 291-306, 2018
21 2018 MetTeL2: Towards a Tableau Prover Generation Platform. D Tishkovsky, RA Schmidt, M Khodadadi
PAAR@ IJCAR, 149-162, 2012
20 2012 Tracking logical difference in large-scale ontologies: a forgetting-based approach Y Zhao, G Alghamdi, RA Schmidt, H Feng, G Stoilos, D Juric, ...
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 3116-3124, 2019
12 2019 Logic-Independent Inference Engine⋆ D Tishkovsky, RA Schmidt, M Khodadadi
Automated Reasoning with Analytic Tableaux and Related Methods: 20th …, 2011
11 * 2011 A Refined Tableau Calculus with Controlled Blocking for the Description Logic M Khodadadi, RA Schmidt, D Tishkovsky
International Conference on Automated Reasoning with Analytic Tableaux and …, 2013
8 2013 Terminating tableau calculi for modal logic K with global counting operators M Khodadadi, RA Schmidt, D Tishkovsky, M Zawidzki
Manuscript, http://www. mettel-prover. org/papers/KEn12. pdf, 2012
8 2012 A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI M Khodadadi, RA Schmidt, D Tishkovsky
8 * Methods and Metrics for Knowledge Base Engineering and Integration. G Stoilos, D Geleta, S Wartak, S Hall, M Khodadadi, Y Zhao, G Alghamdi, ...
WOP@ ISWC, 72-86, 2018
7 2018 An abstract tableau calculus for the description logic SHOI using unrestricted blocking and rewriting M Khodadadi, RA Schmidt, D Tishkovsky
25th International Workshop on Description Logics, DL 2012, 224-234, 2012
7 2012 A system for medical information extraction and verification from unstructured text D Juric, G Stoilos, A Melo, J Moore, M Khodadadi
Proceedings of the AAAI Conference on Artificial Intelligence 34 (08), 13314 …, 2020
6 2020 Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics S Minica, M Khodadadi, RA Schmidt, D Tishkovsky
PAAR-2012 Third Workshop on Practical Aspects of Automated Reasoning June 30 …, 2012
6 2012 System for extracting semantic triples for building a knowledge base G Stoilos, J Moore, D Juric, M Khodadadi
US Patent 10,482,384, 2019
4 2019 Computer implemented method for extracting and reasoning with meaning from text D Juric, G Stoilos, S Wartak, M Khodadadi
US Patent 10,846,288, 2020
3 2020 Hybrid reasoning over large knowledge bases using on-the-fly knowledge extraction G Stoilos, D Juric, S Wartak, C Schulz, M Khodadadi
European Semantic Web Conference, 69-85, 2020
2 2020 An ontology-based interactive system for understanding user queries G Stoilos, S Wartak, D Juric, J Moore, M Khodadadi
European Semantic Web Conference, 330-345, 2019
2 2019 Reasoning with Textual Queries: A Case of Medical Text. D Juric, G Stoilos, S Wartak, M Khodadadi
ISWC (P&D/Industry/BlueSky), 2018
2 2018 Exploration of Variations of Unrestricted Blocking for Description Logics M Khodadadi
PQDT-UK & Ireland, 2015
2 2015 Method and system of combining knowledge bases G Stoilos, D Geleta, J Shamdasani, M Khodadadi
US Patent 11,042,531, 2021
1 2021 
Renate A SchmidtSchool of Computer Science, The University of ManchesterGeverifieerd e-mailadres voor cs.man.ac.uk
