Sciweavers

3634 search results - page 344 / 727
» The Field Representation Language
Sort
View
IS
2010
15 years 5 months ago
Evaluating ontologies: Towards a cognitive measure of quality
Business process models are an important tool in understanding and improving the efficiency of a business and in the design of information systems. Recent work has evaluated busin...
Joerg Evermann, Jennifer Fang
MFCS
2010
Springer
15 years 5 months ago
Semi-linear Parikh Images of Regular Expressions via Reduction
A reduction system for regular expressions is presented. For a regular expression t, the reduction system is proved to terminate in a state where the most-reduced expression readil...
Bahareh Badban, Mohammad Torabi Dashti
SEMWEB
2009
Springer
16 years 1 months ago
Node-Link and Containment Methods in Ontology Visualization
OWL Ontology language can be very expressive. This could provide difficulty in ontology understanding process. We belief, that an ontology visualization equipped with intuitive int...
Julia Dmitrieva, Fons J. Verbeek
AMAI
2004
Springer
16 years 4 days ago
Production Inference, Nonmonotonicity and Abduction
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
Alexander Bochman
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
15 years 11 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu