6794 search results - page 1043 / 1359 » Semantics of Visual Languages |
182
Voted
BMCBI
2008
15 years 5 months ago
2008
Background: In recent years, the recognition of semantic types from the biomedical scientific literature has been focused on named entities like protein and gene names (PGNs) and ...
159
Voted
TSE
2008
15 years 4 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
164
click to vote
JACM
2010
15 years 3 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
181
click to vote
RR
2010
Springer
15 years 3 months ago
2010
Springer
We present an extension of the DLVHEX system to support RIF-Core, a dialect of W3C’s Rule Interchange Format (RIF), as well as combinations of RIF-Core and OWL2RL ontologies. DLV...
146
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...