A logical specification language for ontologies in the system “Binary Model of Knowledge”
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...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
De Gruyter
2018-05-01
|
| Series: | Open Engineering |
| Subjects: | |
| Online Access: | http://www.degruyter.com/view/j/eng.2018.8.issue-1/eng-2018-0017/eng-2018-0017.xml?format=INT |