科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
M
Magdalena Ortiz
Technische Universitat Wien
21
H指数
120
论文数
1.7K
被引数
0
相关解读
订阅
收录论文
5
发表时间
发表时间
IF
被引数
SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
本体存在下的SHACL验证:语义与重写技术
Artificial Intelligence
IF
4.6
2026-01-13
0
OA
AI
Anouk Oudshoorn; Magdalena Ortiz; Mantas Šimkus
分享
收藏
Towards Practicable Defeasible Reasoning for ABoxes
面向ABoxes的实用可让步推理
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I
IF
0
2026-01-01
0
PRE
AI
Haldimann, Jonas; Ortiz, Magdalena; Simkus, Mantas
分享
收藏
SHACL Validation Under Graph Updates
在图更新下的SHACL验证
SEMANTIC WEB-ISWC 2025, PT I
IF
0
2026-01-01
0
PRE
AI
Ahmetaj, Shqiponja; Konstantinidis, George; Ortiz, Magdalena; Pareti, Paolo; Simkus, Mantas
分享
收藏
Datalog rewritability and data complexity of ALCHOIQ with closed predicates
artificial intelligence review
IF
4.6
2024-05-01
0
OA
AI
Lukumbuzya, Sanja; Ortiz, Magdalena; Simkus, Mantas
分享
收藏
Polynomial rewritings from expressive Description Logics with closed predicates to variants of Datalog
artificial intelligence review
IF
4.6
2020-03-01
5
OA
AI
Ahmetaj, Shqiponja; Ortiz, Magdalena; Simkus, Mantas
分享
收藏
研究方向
暂无研究方向
合作学者
合作期刊
M
Mantas Šimkus
H 指数: 20 · 论文数: 115
G
George Konstantinidis
H 指数: 18 · 论文数: 99
J
Jonas Haldimann
H 指数: 7 · 论文数: 46
S
Shqiponja Ahmetaj
H 指数: 7 · 论文数: 37
P
Paolo Pareti
H 指数: 5 · 论文数: 31
查看更多