Zobrazeno 1 - 10
of 63
pro vyhledávání: '"Attempto Controlled English"'
Publikováno v:
Slavistica Vilnensis. 64(1):72-86
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=871228
Publikováno v:
Slavistica Vilnensis, Vol 64 (2019)
This paper discusses some promising approaches to the representation of meta-information (facts) about medieval Russian charters on the Semantic Web in order to provide researchers with appropriate tools for the capture, aggregation, and semantic lin
Externí odkaz:
https://doaj.org/article/22bb829a9458410eb86eb2a7bd662c2a
Autor:
Eman H. Alkhammash
Publikováno v:
Soft Computing. 24:11095-11108
Formal methods are mathematical techniques used for developing reliable and verified systems. Event-B formal method is proved to be very useful to construct models of systems that are corrected by construction. Developing safe, secure, and reliable s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6688bfc12d62ad8604b82b7cab07018f
https://doi.org/10.1007/s00500-020-04688-z
https://doi.org/10.1007/s00500-020-04688-z
Publikováno v:
Procedia Computer Science. 104:57-64
Nowadays, such socio-technical systems as virtual research environments are increasingly employed in the studies of textual heritage. The paper presents a modular platform based on a combination of Web services that provide tools for historical recor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fd83aeccba66aaa87a870dd1e970ab3d
Publikováno v:
Practical Aspects of Declarative Languages ISBN: 9783030059972
PADL
PADL
This paper addresses the problem of automatic generation of natural language descriptions for ontology-described artifacts. The original motivation for the work is the challenge of providing textual narratives of automatically generated scientific wo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::707b59e5ecf3a29da1ddac2c39439153
https://doi.org/10.1007/978-3-030-05998-9_5
https://doi.org/10.1007/978-3-030-05998-9_5
Publikováno v:
Semantic Web. 6:241-258
User interfaces are a critical aspect of semantic knowledge representation systems, as users have to understand and use a formal representation language to model a particular domain of interest, which is known to be a difficult task. Things are even
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::66772d762895d6c498e5ebc3cca43bc0
https://doi.org/10.3233/sw-140152
https://doi.org/10.3233/sw-140152
Autor:
Keith Whittaker, Ritu Chadha, C. Jason Chiang, Daniel Apgar, Jason Perry, Konstantine Arkoudas
Publikováno v:
Computer Standards & Interfaces. 35:417-427
We have developed a translation system that maps sentences of Attempto Controlled English to predicates of many-sorted first-order logic, which can be directly imported into a logic-based policy management framework. Our translation achieves broader
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a7b14f2a7988f9a7781a900a625884ab
https://doi.org/10.1016/j.csi.2013.02.002
https://doi.org/10.1016/j.csi.2013.02.002
Autor:
Tobias Kuhn
Publikováno v:
Semantic Web. 4:101-115
Different kinds of controlled natural language CNL have been proposed as a front-end for Semantic Web systems, in order to make them more accessible to users with no background in formal notations and methods. This paper investigates whether OWL stat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a2a882c6f4eb1aa34b72d050868fe03
https://doi.org/10.3233/sw-2012-0063
https://doi.org/10.3233/sw-2012-0063
Autor:
Tobias Kuhn
Publikováno v:
Journal of Logic, Language and Information. 22:33-70
Controlled natural languages (CNL) with a direct mapping to formal logic have been proposed to improve the usability of knowledge representation systems, query interfaces, and formal specifications. Predictive editors are a popular approach to solve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a1cf75fc5afd83f464c7f6974f4e308
https://doi.org/10.1007/s10849-012-9167-z
https://doi.org/10.1007/s10849-012-9167-z
Word puzzles and the problem of their representations in logic languages have received considerable attention in the last decade (Ponnuruet al. 2004; Shapiro 2011; Baral and Dzifcak 2012; Schwitter 2013). Of special interest is the problem of generat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9be5525f15a9801be70f772ef01d2d18
http://arxiv.org/abs/1608.01338
http://arxiv.org/abs/1608.01338