Towards Resolution-based Reasoning for Connected Logics
MetadataShow full item record
The method of connecting logics has gained a lot of attention in the knowledge representation and ontology communities because of its intuitive semantics and natural support for modular KR, its generality, and its robustness concerning decidability preservation. However, so far no dedicated automated reasoning solutions have been developed, and the only reasoning available was via translation into sufficiently expressive logics. In this paper, we present a simple modalised version of basic EE-connections, and develop a sound, complete, and terminating resolution-based reasoning procedure. The approach is modular and can be extended to more expressive versions of EE-connections.
Showing items related by title, author, creator and subject.
Connectivity in Cyber-Physical Production Systems: Three-Tier Industrial Internet System Model for Connectivity of heterogeneous Elements in Cyber-Physical Production Systems Rojas R; Rauch E; Matt DT (2018)In the "Smart Factory", cyber-physical systems (CPS) must be synchronized with each other and with the outside world in order to exchange information and trigger actions. This paper presents a model for the design of an ...
Characterization and 1.57 angstrom resolution structure of the key fire blight phosphatase AmsI from Erwinia amylovora Salomone-Stagni M; Musiani F; Benini S (INT UNION CRYSTALLOGRAPHY, 2016)AmsI is a low-molecular-weight protein tyrosine phosphatase that regulates the production of amylovoran in the Gram-negative bacterium Erwinia amylovora, a specific pathogen of rosaceous plants such as apple, pear and ...