𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The semantics of entailment — III

✍ Scribed by Richard Routley; Robert K. Meyer

Publisher
Springer Netherlands
Year
1972
Tongue
English
Weight
929 KB
Volume
1
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

cover
The Challenge of Entail
✍ Rowland, Jann 📂 Fiction 📅 2020 🏛 One Good Sonnet Publishing 🌐 English ⚖ 247 KB 👁 3 views
cover
The Challenge of Entail
✍ Jann Rowland 📂 Fiction 📅 2019 🏛 One Good Sonnet Publishing 🌐 English ⚖ 247 KB 👁 3 views
Completeness, decidability and complexit
Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary
✍ Herman J. ter Horst 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 496 KB

We prove that entailment for RDF Schema (RDFS) is decidable, NP-complete, and in P if the target graph does not contain blank nodes. We show that the standard set of entailment rules for RDFS is incomplete and that this can be corrected by allowing blank nodes in predicate position. We define seman