Tractable and Decidable Fragments of Conceptual Graphs
نویسندگان
چکیده
منابع مشابه
The Complexity of Satisfiability for Fragments of Hybrid Logic — Part I∗ Preliminary Version
The satisfiability problem of hybrid logics with the downarrow binder is known to be undecidable. This initiated a research program on decidable and tractable fragments. In this paper, we investigate the effect of restricting the propositional part of the language on decidability and on the complexity of the satisfiability problem over arbitrary, transitive, total frames, and frames based on eq...
متن کاملA Diagrammatic Reasoning System for the Description Logic ALC
Diagrammatic reasoning is a tradition of visual logic that allows sentences that are equivalent to first order logic to be written in a visual or structural form: usually for improved usability. A calculus for the diagram can then be defined that allows well-formed formulas to be derived. This calculus is intended is the analog of logical inference. Description logics (DLs) have become a popula...
متن کاملA diagrammatic reasoning system for the description logic I
Diagrammatic reasoning is a tradition of visual logic that allows sentences that are equivalent to first order logic to be written in a visual or structural form: usually for improved usability. A calculus for the diagram can then be defined that allows well-formed formulas to be derived. This calculus is intended in the analog of logical inference. Description logics (DLs) have become a popula...
متن کاملDynamic Odds & Ends
Modal logic becomes action logic by adding programs as in propositional dynamic logic or the μ– calculus. Modal languages can be seen as decidable fragments of first-order logic that admit a natural bisimulation, and hence enjoy a good model theory. Recently, much stronger 'guarded fragments' of firstorder logic have been identified that enjoy the same pleasant features. The latter can serve as...
متن کاملBisimulations on Data Graphs
Bisimulation provides structural conditions to characterize indistinguishability between nodes on graph-like structures from an external observer. It is a fundamental notion used in many areas. However, many applications use graphs where nodes have data, and where observers can test for equality or inequality of data values (e.g., asking the attribute ‘name’ of a node to be different from that ...
متن کامل