322 search results - page 60 / 65 » Ontology and Formal Semantics - Integration Overdue |
WCRE
2006
IEEE
14 years 1 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
CONTEXT
2001
Springer
14 years 7 days ago
2001
Springer
This paper discusses the use of contextual reasoning, i.e. context transformation for achieving semantic interoperability in heterogeneous information systems. We introduce termino...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
ECIR
2003
Springer
13 years 9 months ago
2003
Springer
Topic Detection and Tracking is an event-based information organization task where online news streams are monitored in order to spot new unreported events and link documents with ...