A Goal-Oriented Algorithm for Unification in ELHR+ w.r.t. Cycle-Restricted Ontologies
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Undefiniert |
---|---|
Titel | Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12) |
Seiten | 493-504 |
Seitenumfang | 12 |
Publikationsstatus | Veröffentlicht - 2012 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 84871370779 |
---|---|
ORCID | /0000-0002-4049-221X/work/142247855 |