Mantas Šimkus - Publications, H-index & Citations

Mantas Šimkus

Technische Universitat Wien

20H指数

115论文数

1.4K被引数

收录论文 6

发表时间

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques 本体存在下的SHACL验证：语义与重写技术

Artificial Intelligence

IF4.6

2026-01-13

OAAI

Anouk Oudshoorn; Magdalena Ortiz; Mantas Šimkus

Towards Practicable Defeasible Reasoning for ABoxes 面向ABoxes的实用可让步推理

LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I

IF0

2026-01-01

PREAI

Haldimann, Jonas; Ortiz, Magdalena; Simkus, Mantas

SHACL Validation Under Graph Updates 在图更新下的SHACL验证

SEMANTIC WEB-ISWC 2025, PT I

IF0

2026-01-01

PREAI

Ahmetaj, Shqiponja; Konstantinidis, George; Ortiz, Magdalena; Pareti, Paolo; Simkus, Mantas

Datalog rewritability and data complexity of ALCHOIQ with closed predicates

artificial intelligence review

IF4.6

2024-05-01

OAAI

Lukumbuzya, Sanja; Ortiz, Magdalena; Simkus, Mantas

The biggest business process management problems to solve before we die 在我们死前要解决的最大的业务流程管理问题

COMPUTERS IN INDUSTRY

IF9.1

2023-04-01

OAAI

Beerepoot, Iris; Di Ciccio, Claudio; Reijers, Hajo A.; Rinderle-Ma, Stefanie; Bandara, Wasana; Burattin, Andrea; Calvanese, Diego; Chen, Tianwa; Cohen, Izack; Depaire, Benoit; Di Federico, Gemma; Dumas, Marlon; van Dun, Christopher; Fehrer, Tobias; Fischer, Dominik A.; Gal, Avigdor; Indulska, Marta; Isahagian, Vatche; Klinkmueller, Christopher; Kratsch, Wolfgang; Leopold, Henrik; Van Looy, Amy; Lopez, Hugo; Lukumbuzya, Sanja; Mendling, Jan; Meyers, Lara; Moder, Linda; Montali, Marco; Muthusamy, Vinod; Reichert, Manfred; Rizk, Yara; Rosemann, Michael; Roeglinger, Maximilian; Sadiq, Shazia; Seiger, Ronny; Slaats, Tijs; Simkus, Mantas; Someh, Ida Asadi; Weber, Barbara; Weber, Ingo; Weske, Mathias; Zerbato, Francesca

Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog

artificial intelligence review

IF4.6

2020-03-01

OAAI

Ahmetaj, Shqiponja; Ortiz, Magdalena; Simkus, Mantas

研究方向