Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities

PublikationenPublications

• Nach AutorBy Author
  • Lucía Gómez ÁlvarezLucía Gómez Álvarez
  • Sebastian RudolphSebastian Rudolph
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities

Lucía Gómez ÁlvarezLucía Gómez Álvarez,  Sebastian RudolphSebastian Rudolph

Lucía Gómez Álvarez, Sebastian Rudolph
Reasoning in SHIQ with Axiom- and Concept-Level Standpoint Modalities
Proceedings of KR 2024, to appear

• Details
• Bibtex

• Projekt:Project: DeciGUT
• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@inproceedings{{R2024,
  author    = {Luc{\'{\i}}a G{\'{o}}mez {\'{A}}lvarez and Sebastian Rudolph},
  title     = {Reasoning in {SHIQ} with Axiom- and Concept-Level Standpoint
               Modalities},
  booktitle = {Proceedings of {KR} 2024},
  year      = {2024}
}