Sciweavers

573 search results - page 24 / 115
» Refer-to-as Relations as Semantic Knowledge
Sort
View
CORR
2011
Springer
186views Education» more  CORR 2011»
13 years 2 months ago
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases
Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rules use non...
Ana Sofia Gomes, José Júlio Alferes,...
ATAL
2005
Springer
14 years 1 months ago
Bounded model checking knowledge and branching time in synchronous multi-agent systems
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Che...
LREC
2010
183views Education» more  LREC 2010»
13 years 9 months ago
Extracting Lexico-conceptual Knowledge for Developing Persian WordNet
Semantic lexicons and lexical ontologies are some major resources in natural language processing. Developing such resources are time consuming tasks for which some automatic metho...
Mehrnoush Shamsfard, Hakimeh Fadaei, Elham Fekri
ICDE
2007
IEEE
130views Database» more  ICDE 2007»
14 years 9 months ago
Semantic Data Management: Towards Querying Data with their Meaning
Relational database management systems are constantly being extended and augmented to accommodate data in different domains. Recently, with the increasing use of ontology in vario...
Lipyeow Lim, Haixun Wang, Min Wang
ICADL
2003
Springer
159views Education» more  ICADL 2003»
14 years 22 days ago
Ontology Learning for Medical Digital Libraries
Ontologies play an important role in the Semantic Web as well as in digital library and knowledge portal applications. This project seeks to develop an automatic method to enrich e...
Chew-Hung Lee, Jin-Cheon Na, Christopher S. G. Kho...