Sciweavers

732 search results - page 130 / 147
» Representation of Semantic Knowledge with Term Subsumption L...
Sort
View
DEBU
2010
180views more  DEBU 2010»
13 years 7 months ago
Searching RDF Graphs with SPARQL and Keywords
The proliferation of knowledge-sharing communities like Wikipedia and the advances in automated information extraction from Web pages enable the construction of large knowledge ba...
Shady Elbassuoni, Maya Ramanath, Ralf Schenkel, Ge...
ATAL
2010
Springer
13 years 8 months ago
CTL.STIT: enhancing ATL to express important multi-agent system verification properties
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
Jan Broersen
EON
2003
13 years 9 months ago
Results of Taxonomic Evaluation of RDF(S) and DAML+OIL ontologies using RDF(S) and DAML+OIL Validation Tools and Ontology Platfo
Before using RDF(S) and DAML+OIL ontologies in Semantic Web applications, its content should be evaluated from a knowledge representation point of view. In recent years, some RDF(S...
María del Carmen Suárez-Figueroa, As...
EJIS
2007
115views more  EJIS 2007»
13 years 7 months ago
Towards agent-oriented model-driven architecture
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
Liang Xiao 0002, Des Greer
TASLP
2008
150views more  TASLP 2008»
13 years 7 months ago
Automatic Prosodic Event Detection Using Acoustic, Lexical, and Syntactic Evidence
With the advent of prosody annotation standards such as tones and break indices (ToBI), speech technologists and linguists alike have been interested in automatically detecting pro...
Sankaranarayanan Ananthakrishnan, Shrikanth S. Nar...