The completeness of reasoning algorithms for clause sets in description logic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si4.svg" display="inline" id="d1e76"><mml:mi mathvariant="script">ALC</mml:mi></mml:math>
Gespeichert in:
| Veröffentlicht in: | Knowledge-Based Systems Jg. 286; S. 111405 |
|---|---|
| Hauptverfasser: | , |
| Format: | Journal Article |
| Sprache: | Japanisch |
| Veröffentlicht: |
Elsevier BV
01.02.2024
|
| Schlagworte: | |
| ISSN: | 0950-7051 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!