1318 search results - page 37 / 264 » The formal semantics of the timeER model |
125
click to vote
PKDD
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
122
Voted
ECEASST
2006
15 years 1 months ago
2006
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
105
click to vote
WWW
2006
ACM
16 years 2 months ago
2006
ACM
Classical logics and Datalog-related logics have both been proposed as underlying formalisms for the Semantic Web. Although these two different formalism groups have some commonal...
116
click to vote
ROOM
2000
15 years 3 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
111
click to vote
ASWC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The increasing amount of interlinked RDF data has finally made available the necessary building blocks for the web of data. This in turns makes it possible (and interest...