Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic (Extended Version with Appendix)
Lucía Gómez Álvarez, Sebastian Rudolph
Standpoint extensions of knowledge representation formalisms have been recently introduced as a means to incorporate multi-perspective modelling and reasoning through modal operato…
cs.LO2024
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
Lucas Carr, Nicholas Leisegang, Thomas Meyer +1
Formal Concept Analysis (FCA) is an approach to creating a conceptual hierarchy in which a \textit{concept lattice} is generated from a \textit{formal context}. That is, a triple c…