Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Magdalena Ortiz
Map detail
Magdalena Ortiz15 visible / 15 total nodes / 51 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipRelated contextWorks onWorks onWorks onAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalMagdalena OrtizAMagdalena OrtizResearcherStatic Analysis of Recursive SHACLWStatic Analysis of Recu...preprint / 2026A Horn extension of DL-Lite with NL data complexityWA Horn extension of DL-...preprint / 2026Bartosz Jan BednarczykABartosz Jan BednarczykResearcherJanos ArpasiAJanos ArpasiResearcherAnouk OudshoornAAnouk OudshoornResearcherMantas SimkusAMantas SimkusResearcherLogic in Computer ScienceTLogic in Computer Science2208 worksArtificial IntelligenceTArtificial Intelligence22915 worksDatabasesTDatabases1586 worksActions over Core-closed Knowledge BasesWActions over Core-close...preprint / 2022An ExpTime Upper Bound for $\mathcal{ALC}$ with Integers (Extended Version)WAn ExpTime Upper Bound ...preprint / 2020Reasoning about Explanations for Negative Query Answers in DL-LiteWReasoning about Explana...preprint / 2014Nested Regular Path Queries in Description LogicsWNested Regular Path Que...preprint / 2014Managing Change in Graph-structured Data Using Description Logics (long version with appendix)WManaging Change in Grap...preprint / 2014
Person14 links

Magdalena Ortiz

Researcher