451 search results - page 26 / 91 » Temporal Classes and OWL |
143
click to vote
ENTCS
2006
15 years 4 months ago
2006
An unresolved issue in SWRL (the Semantic Web Rule Language) is whether the intended semantics of its RDF representation can be described as an extension of the W3C RDF semantics....
108
click to vote
CCE
2007
15 years 4 months ago
2007
Ontologies reflect our view of what exists and developing ontologies for a given domain requires a common context. This context can be characterized explicitly by means of an uppe...
135
click to vote
DLOG
2010
15 years 2 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
125
Voted
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present a framework to analyze and summarize the temporal dynamics within personal blogs. Blog temporal dynamics are difficult to capture using a few class descr...
166
Voted
SDL
2001
15 years 6 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...