Picture for Lucía Gómez Álvarez

Lucía Gómez Álvarez

Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+

Add code
May 11, 2023
Figure 1 for Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
Figure 2 for Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
Figure 3 for Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
Viaarxiv icon

Automated reasoning support for Standpoint-OWL 2

Add code
Apr 30, 2023
Figure 1 for Automated reasoning support for Standpoint-OWL 2
Viaarxiv icon

Vagueness in Predicates and Objects

Add code
Feb 25, 2023
Viaarxiv icon

Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL

Add code
Feb 25, 2023
Viaarxiv icon

How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic

Add code
Jun 14, 2022
Figure 1 for How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
Viaarxiv icon

Automating Reasoning with Standpoint Logic via Nested Sequents

Add code
May 05, 2022
Figure 1 for Automating Reasoning with Standpoint Logic via Nested Sequents
Figure 2 for Automating Reasoning with Standpoint Logic via Nested Sequents
Figure 3 for Automating Reasoning with Standpoint Logic via Nested Sequents
Viaarxiv icon