| Autor: |
Plesniewicz Gerald, Karabekov Baurzhan, Masherov Dmitry |
| Jazyk: |
angličtina |
| Rok vydání: |
2018 |
| Předmět: |
|
| Zdroj: |
Open Engineering, Vol 8, Iss 1, Pp 132-139 (2018) |
| Druh dokumentu: |
article |
| ISSN: |
2391-5439 |
| DOI: |
10.1515/eng-2018-0017 |
| Popis: |
We describe the language LLS-1 for logical specifying ontologies written in “Binary Model of Knowledge” (BMK). BMK is the system intended for specifying heavy-weight ontologies by means of conceptual-type languages. The language LLS-1 has a user-friendly syntax in style of the Manchester syntax for OWL. We also determine a deduction method for LLS-1. |
| Databáze: |
Directory of Open Access Journals |
| Externí odkaz: |
|
