216 search results - page 3 / 44 » Automated Translation of Semantic Relationships |
LPNMR
2005
Springer
14 years 3 months ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...
ER
2007
Springer
14 years 4 months ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
EACL
1993
ACL Anthology
13 years 11 months ago
1993
ACL Anthology
The lexicons for Knowledge-Based Machine Translation systems require knowledge intensive morphological, syntactic and semantic information. This information is often used in diffe...
OTM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Translating XML data into ontologies is the problem of finding an instance of an ontology, given an XML document and a specification of the relationship between the XML...
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...