Publications - Innosale

Efficient Dependency Analysis for Rule-Based Ontologies

Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke, "The Semantic Web – ISWC 2022", Proc. International Semantic Web Conference 2022, October 23, 2022, Springer.

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase

Lukas Gerlach, David Carral, "Proceedings of the 37th AAAI Conference on Artificial Intelligence," Proc. AAAI Conference on Artificial Intelligence, February 7, 2023, AAAI Press.

Nemo: First Glimpse of a New Rule Engine

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch, "ICLP 2023: International Conference on Logic Programming," July 9, 2023.

General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract)

Lukas Gerlach, David Carral, "36th International Workshop on Description Logics," September 2, 2023.

Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report)

Lukas Gerlach, David Carral, "Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023)," Proc. 20th International Conference on Principles of Knowledge Representation and Reasoning, September 2, 2023, International Joint Conferences on Artificial Intelligence Organization.

ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams

Stefan Ellmauthaler, Lukas Gerlach, "The Fourth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023)," Proc. The Fourth Workshop on Explainable Logic-Based Knowledge Representation, September 2, 2023.

Towards Semi-automatic Approach of Building an Ontology : A Case Study on Material Handling Data

Sepideh Sadat Sobhgol, Mario Thron, Giuliano Persico, "15th International Conference on Knowledge Engineering and Ontology Development," Proc. 15th International Conference on Knowledge Engineering and Ontology Development, November 13, 2023, SCITEPRESS Digital Library (CPCI/ISI, DBLP), SCITEPRESS Digital Library.

Man-hour Prediction for Complex Industrial Products

Ahmet Emin Ünal, Halit Boyar, Burcu Kuleli Pak, Mehmet Cem Yıldız, Ali Erman Erten, Vehbi Çağrı Güngör, Proc. IV. International Informatics and Software Engineering Conference (IISEC 2023), December 21, 2023.