Search Results for author:
Found 7 papers, 2 papers with code
Categorisation, Typicality & Object-Specific Features in Spatial Referring Expressions
Various accounts of cognition and semantic representations have highlighted that, for some concepts, different factors may influence category and typicality judgements.
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
Standpoint EL is a multi-modal extension of the popular description logic EL that allows for the integrated representation of domain knowledge relative to diverse standpoints or perspectives.
Automating Reasoning with Standpoint Logic via Nested Sequents
Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification.
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
By virtue of this result, existing highly optimised OWL reasoners can be used to provide practical reasoning support for ontology languages extended by standpoint modelling.
Vagueness in Predicates and Objects
Classical semantics assumes that one can model reference, predication and quantification with respect to a fixed domain of precise referent objects.
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL
The tractability of the lightweight description logic EL has allowed for the construction of large and widely used ontologies that support semantic interoperability.
Automated reasoning support for Standpoint-OWL 2
We present a tool for modelling and reasoning with knowledge from various diverse (and possibly conflicting) viewpoints.
