| Articolul precedent |
| Articolul urmator |
 |
 573 2 |
| Ultima descărcare din IBN: 2023-08-23 15:31 |
 SM ISO690:2012DRUGUS, Ioachim. Metalingua, a Formal Language for Metalogic, Semantic Web and Languistics. In: International Workshop on Intelligent Information Systems, 13-14 septembrie 2011, Chișinău. Chișinău, Republica Moldova: Institute of Mathematics and Computer Science, 2011, pp. 167-170. ISBN 978-9975-4237-0-0. |
| EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
| International Workshop on Intelligent Information Systems 2011 | ||||||
|
Seminarul "International Workshop on Intelligent Information Systems" Chișinău, Moldova, 13-14 septembrie 2011 | ||||||
|
||||||
| Pag. 167-170 | ||||||
|
||||||
 Descarcă PDF |
||||||
| Rezumat | ||||||
This paper is an introduction to metalingua to be followed by other papers on its use in linguistics, Semantic Web, and axiomatisation of metalogic. Metalingua is based on a logical symbolism used in my publications and KnowledgeSpace project. Its expressiveness is at least the same as expressiveness of N3 for Semantic Web, but unlike N3, it also satisfies the “compositionality principle” of natural languages, which makes it a tool for the formalisation of languages and development of the natural languages interface for Semantic Web. |
||||||
| Cuvinte-cheie logic, metalogic, metalingua, Semantic Web |
||||||
|
|
|
|
