Sciweavers

633 search results - page 62 / 127
» A Semantic Basis for Quest
Sort
View
ACL
1998
13 years 10 months ago
Spelling Correction Using Context
This paper describes a spelling correction system that functions as part of an intelligent tutor that carries on a natural language dialogue with its users. The process that searc...
Mohammad Ali Elmi, Martha W. Evens
RWEB
2010
Springer
13 years 7 months ago
Reasoning and Explanation in EL and in Expressive Description Logics
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
Anni-Yasmin Turhan
GI
2009
Springer
13 years 6 months ago
Towards a Reference Model for the LifeWatch ICT Infrastructure
: The LifeWatch Reference Model provides the basis for an interoperable ICT infrastructure for European biodiversity research building on standards whenever feasible. Distinguishin...
Vera Hernández Ernst, Axel Poigné, J...
CORR
2011
Springer
180views Education» more  CORR 2011»
13 years 4 months ago
Representing First-Order Causal Theories by Logic Programs
Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain’s embedding of definit...
Paolo Ferraris, Joohyung Lee, Yuliya Lierler, Vlad...
DLOG
2000
13 years 10 months ago
Knowledge Representation on the Web
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for ...
Stefan Decker, Dieter Fensel, Frank van Harmelen, ...