Adding Number Restrictions to a Four-Valued Terminological Logic

Patel-Schneider, Peter F.

Adding Number Restrictions to a Four-Valued Terminological Logic

AAAI 1988 pp. 485-490

/aaai/1988/patelschneider1988aaai-adding/

Abstract

An intuitive four-valued semantics can be used to develop expressively powerful terminological logics which have tractable subsumption. If a four-valued identity is also used, number restrictions can be added to the logic while retaining tractability. The subsumptions supported by the logic are a type of subsumption, where each structural component of one concept must have an analogue in the other concept. Structural subsumption captures an important set of subsumptions, similar to the subsumptions computed in KL-ONE and NIKL. This shows that the trade-off between expressive power and computational tractability which plagues terminological logics based on standard, two-valued semantics can be defeated while still retaining a useful and semantically supported set of subsumptions.

PDF AAAI Semantic Scholar

Cite

Text

Patel-Schneider. "Adding Number Restrictions to a Four-Valued Terminological Logic." AAAI Conference on Artificial Intelligence, 1988.

Markdown

[Patel-Schneider. "Adding Number Restrictions to a Four-Valued Terminological Logic." AAAI Conference on Artificial Intelligence, 1988.](https://mlanthology.org/aaai/1988/patelschneider1988aaai-adding/)

BibTeX

@inproceedings{patelschneider1988aaai-adding,
  title     = {{Adding Number Restrictions to a Four-Valued Terminological Logic}},
  author    = {Patel-Schneider, Peter F.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1988},
  pages     = {485-490},
  url       = {https://mlanthology.org/aaai/1988/patelschneider1988aaai-adding/}
}