191 search results - page 9 / 39 » An Integrated View on Rules and Principles |
FLOPS
2004
Springer
14 years 1 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
ER
1997
Springer
13 years 11 months ago
1997
Springer
This paper discusses the construction principles of ancient Egyptian hieroglyphs from the point of view of conceptual modeling. The paper starts with a summary of author’s previo...
IFIP
1993
Springer
13 years 11 months ago
1993
Springer
The Architecture of Integrated Information Systems (ARIS) is a popular framework for integrated process modeling. Previous research analysed ARIS using an ontology developed by Bu...