Reasoning with the Description Logic DLRO-lessthan using Bound Guarded Programs
Autor: | Vermeir, Dirk, Heymans, Stijn, Van Nieuwenborgh, Davy |
---|---|
Přispěvatelé: | Geography, Informatics and Applied Informatics |
Jazyk: | angličtina |
Rok vydání: | 2006 |
Předmět: | |
Popis: | Reasoning with the Description Logic DLRO-lessthan using Bound Guarded Programs |
Databáze: | OpenAIRE |
Externí odkaz: |