Automated Reasoning Support for Standpoint-OWL 2

Florian EmmrichFlorian Emmrich, Lucía Gómez ÁlvarezLucía Gómez Álvarez, Hannes StraßHannes Straß

Download

Florian Emmrich, Lucía Gómez Álvarez, Hannes Straß
Automated Reasoning Support for Standpoint-OWL 2
In Sergio de Cesare, Tiago Prince Sales, eds., Proceedings of th 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), Ontology Showcase and Demonstrations Track, 2023

Details
Bibtex

Projekt:Project: KIMEDS, MEDGE, ScaDS.AI
Forschungsgruppe:Research Group: Computational LogicComputational Logic

@inproceedings{E{S2023,
  author    = {Florian Emmrich and Luc{\'{\i}}a G{\'{o}}mez {\'{A}}lvarez and
               Hannes Stra{\ss}},
  title     = {Automated Reasoning Support for Standpoint-OWL 2},
  editor    = {Sergio de Cesare and Tiago Prince Sales},
  booktitle = {Proceedings of th 13th International Conference on Formal
               Ontology in Information Systems (FOIS 2023), Ontology Showcase
               and Demonstrations Track},
  year      = {2023}
}