Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science, the expressive power of a language describes the ideas expressible in that language. For example, the OWL2 EL profile lacks ideas (such as negation) which can be expressed in OWL2 RL. OWL2 EL may therefore be said to have less expressive power than OWL2 RL. These restrictions allow more efficient (polynomial time) reasoning in OWL2 EL than in OWL2...
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science, the expressive power of a language describes the ideas expressible in that language. For example, the OWL2 EL profile lacks ideas (such as negation) which can be expressed in OWL2 RL. OWL2 EL may therefore be said to have less expressive power than OWL2 RL. These restrictions allow more efficient (polynomial time) reasoning in OWL2 EL than in OWL2 RL. So OWL2 EL trades some expressive power for more efficient reasoning. The first sense dominates in areas of mathematics and logic that deal with the formal description of languages and their meaning, such as formal language theory, mathematical logic and process algebra.
Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.
Оставить комментарий