Search Results for author:
Found 3 papers, 0 papers with code
DOLCE: A Descriptive Ontology for Linguistic and Cognitive Engineering
In these 20 years DOLCE has shown that applied ontologies can be stable and that interoperability across reference and domain ontologies is a reality.
Repairing Ontologies via Axiom Weakening
Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology.
Non-normal modalities in variants of Linear Logic
We provide an interpretation of this language on a class of Kripke resource models extended with a neighbourhood function: modal Kripke resource models.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
