Anees Mehdi

According to our database, Anees Mehdi authored at least 17 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Advanced Temporal Reasoning for Intelligent Traffic Monitoring.

Anees ul Mehdi, Alessandro Oltramari

Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023

2022

Knowledge Graph-based Support for Automated Manufacturability Analysis.

Irlán Grangel-González, Felix Lösch, Anees ul Mehdi

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2020

Serving Bosch Production Data as Virtual KGs.

Elem Guzel Kalayci, Irlán Grangel-González, Felix Loesch, Guohui Xiao, Anees Mehdi, Evgeny Kharlamov, Diego Calvanese

Proceedings of the ISWC 2020 Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 19th International Semantic Web Conference (ISWC 2020), 2020

Semantic Integration of Bosch Manufacturing Data Using Virtual Knowledge Graphs.

Elem Güzel Kalayci, Irlán Grangel-González, Felix Lösch, Guohui Xiao, Anees ul Mehdi, Evgeny Kharlamov, Diego Calvanese

Proceedings of the Semantic Web - ISWC 2020, 2020

Knowledge Graphs for Efficient Integration and Access of Manufacturing Data.

Irlán Grangel-González, Felix Lösch, Anees ul Mehdi

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019

Towards Semantic Integration of Bosch Manufacturing Data.

Anees Mehdi, Evgeny Kharlamov, Daria Stepanova, Felix Loesch, Irlán Grangel-González

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

Towards Integrating Ontologies into Verification for Autonomous Driving.

Arut Prakash Kaleeswaran, Arne Nordmann, Anees ul Mehdi

Proceedings of the ISWC 2019 Satellite Tracks (Posters & Demonstrations, 2019

Roadmap to Skill Based Systems Engineering.

Kathrin Evers, Jan R. Seyler, Vincent Aravantinos, Levi Lucio, Anees Mehdi

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2017

Ontologies and Reasoning to Capture Product Complexity in Automation Industry.

Stefan Elmer, Foued Jrad, Thorsten Liebig, Anees ul Mehdi, Michael Opitz, Thomas Stauß, Dirk Weidig

Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

2014

Epistemic Reasoning in OWL 2 DL.

Anees ul Mehdi

PhD thesis, 2014

2013

EQuIKa System: Supporting OWL applications with local closed world assumption.

Anees Mehdi, Jens Wissmann

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

2012

On Integrating Description Logics and Rules under Minimal Hypotheses.

Anees Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

2011

Epistemic Querying of OWL Knowledge Bases.

Anees Mehdi, Sebastian Rudolph, Stephan Grimm

Proceedings of the Semantic Web: Research and Applications, 2011

Practical Epistemic Entailment Checking in SROIQ.

Anees Mehdi, Sebastian Rudolph

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Revisiting Semantics for Epistemic Extensions of Description Logics.

Anees Mehdi, Sebastian Rudolph

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Verifying Properties of Infinite Sequences of Description Logic Actions.

Franz Baader, Hongkai Liu, Anees ul Mehdi

Proceedings of the ECAI 2010, 2010

Orel: Database-Driven Reasoning for OWL 2 Profiles.

Markus Krötzsch, Anees Mehdi, Sebastian Rudolph

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010