The Internet serves not only as a platform for communication, transactions, and cloud storage, but also as a vast knowledge store where both people and machines can create, manipulate, infer, and utilize data and knowledge. The Semantic Web was ...

Inconsistency is a core problem in fields such as AI and data-intensive systems. In this work, we address the problem of measuring inconsistency in declarative process specifications, with an emphasis on linear temporal logic (LTL). As we will ...

• We present an approach for measuring inconsistency in declarative process specifications.
• We use Linear Temporal Logic on fixed traces (LTLff) and a paraconsistent semantics.
• We develop a series of “time-sensitive” inconsistency ...