Knowledge Graphs for Efficient Integration and Access of Manufacturing Data I Grangel-González, F Lösch, A ul Mehdi 2020 25th IEEE International Conference on Emerging Technologies and Factory …, 2020 | 40 | 2020 |
Orel: Database-driven reasoning for OWL 2 profiles M Krötzsch, A ul Mehdi, S Rudolph 23rd International Workshop on Description Logics DL2010, 114, 2010 | 24 | 2010 |
Revisiting Semantics for Epistemic Extensions of Description Logics. A Mehdi, S Rudolph AAAI, 2011 | 18 | 2011 |
Roadmap to skill based systems engineering K Evers, JR Seyler, V Aravantinos, L Lucio, A Mehdi 2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019 | 17 | 2019 |
Epistemic querying of OWL knowledge bases A Mehdi, S Rudolph, S Grimm Extended Semantic Web Conference, 397-409, 2011 | 14 | 2011 |
Towards Integrating Ontologies into Verification for Autonomous Driving. AP Kaleeswaran, A Nordmann, A ul Mehdi ISWC Satellites, 319-320, 2019 | 8 | 2019 |
Ontologies and Reasoning to Capture Product Complexity in Automation Industry. S Elmer, F Jrad, T Liebig, A ul Mehdi, M Opitz, T Stauß, D Weidig International Semantic Web Conference (Posters, Demos & Industry Tracks), 2017 | 8 | 2017 |
Towards Semantic Integration of Bosch Manufacturing Data. A Mehdi, E Kharlamov, D Stepanova, F Loesch, IG Gonzalez ISWC Satellites, 303-304, 2019 | 7 | 2019 |
Integrate Action Formalisms into Linear Temporal Description Logics F Baader, H Liu, AU Mehdi, LF Automatentheorie | 5* | |
Epistemic Reasoning in OWL 2 DL. A ul Mehdi Karlsruhe Institute of Technology, 2014 | 2* | 2014 |
EQuIKa: Epistemic Querying in OWL 2 Ontologies A Mehdi, S Rudolph, J Wissmann Techreport, AIFB, Karlsruhe, 2013 | 1 | 2013 |
EQuIKa System: Supporting OWL applications with local closed world assumption A Mehdi, J Wissmann INFORMATIK 2013–Informatik angepasst an Mensch, Organisation und Umwelt, 2013 | 1 | 2013 |
On integrating description logics and rules under minimal hypotheses A Mehdi, AM Pinto, S Rudolph International Conference on Web Reasoning and Rule Systems, 242-245, 2012 | | 2012 |
Practical Epistemic Entailment Checking in SROIQ A Mehdi, S Rudolph 24th International Workshop on Description Logics, 323, 2011 | | 2011 |