Enriched support for ring constraints

QR Code

Enriched support for ring constraints

Fact-oriented modeling approaches such as Object-Role Modeling (ORM) have long supported several varieties of ring constraints, such as irreflexivity, asymmetry, intransitivity, and acyclicity, on pairs of compatible roles. The latest version of the Web Ontology Language (OWL 2) supports five kinds...

Full description

Bibliographic Details
Main Authors:	Halpin, Terry, Curland, Matthew
Format:	Teaching Resource
Language:	English
Published:	Springer Berlin Heidelberg 2011
Subjects:	QA76 Computer software
Online Access:	http://eprints.intimal.edu.my/147/ http://eprints.intimal.edu.my/147/1/9.pdf

Similar Items

The NORMA software tool for ORM 2
by: Curland, Matthew, et al.
Published: (2011)

Enhanced verbalization of ORM models
by: Curland, Matthew, et al.
Published: (2012)

Summary of Constraints
by: Halpin, Terry, et al.
Published: (2015)

Mapping ORM to Datalog: An Overview
by: Halpin, Terry, et al.
Published: (2010)

Formal Semantics of Dynamic Constraints and Derivation Rules in ORM
by: Balsters, Herman, et al.
Published: (2016)

Recent enhancements to ORM
by: Halpin, Terry, et al.
Published: (2013)

Fact-Orientation and Conceptual Logic
by: Halpin, Terry
Published: (2011)

Structural Aspects of Data Modeling Languages
by: Halpin, Terry
Published: (2011)

Formalization of ORM revisited
by: Halpin, Terry
Published: (2012)

Modeling of Linguistic Reference Schemes
by: Halpin, Terry
Published: (2015)

Predicate reference and navigation in ORM
by: Halpin, Terry
Published: (2009)

Modeling of reference schemes
by: Halpin, Terry
Published: (2013)

Variable Strength T-Way Test Suite with Constraints Support
by: Kamal Z., Zamli, et al.
Published: (2014)

Variable Strength T-Way Test Suite Generator with Constraints Support
by: Kamal Z., Zamli, et al.
Published: (2014)

Basics
by: Halpin, Terry, et al.
Published: (2015)

Key LogiQL Concepts
by: Halpin, Terry, et al.
Published: (2015)

Quick Start
by: Halpin, Terry, et al.
Published: (2015)

Intermediate Aspects
by: Halpin, Terry, et al.
Published: (2015)

Diving Deeper
by: Halpin, Terry, et al.
Published: (2015)

Advanced Aspects
by: Halpin, Terry, et al.
Published: (2015)

Running Your Programs
by: Halpin, Terry, et al.
Published: (2015)

Running the LogiQL REPL
by: Halpin, Terry, et al.
Published: (2015)

LogiQL Syntax
by: Halpin, Terry, et al.
Published: (2015)

Built-In Operators and Predicates
by: Halpin, Terry, et al.
Published: (2015)

Programming Conventions
by: Halpin, Terry, et al.
Published: (2015)

LogiQL and Predicate Logic
by: Halpin, Terry, et al.
Published: (2015)

LogiQL and SQL
by: Halpin, Terry, et al.
Published: (2015)

Testing Your Programs
by: Halpin, Terry, et al.
Published: (2015)

Improving Your Program’s Performance
by: Halpin, Terry, et al.
Published: (2015)

Form-and-fact based modeling
by: Halpin, Terry, et al.
Published: (2012)

Atomicity and semantic normalization
by: Carver, Andy, et al.
Published: (2010)

Automated Verbalization of ORM Models in Malay and Mandarin
by: Lim, Shin Huei, et al.
Published: (2016)

Harmony search based test list generator for software product line with constraints support
by: Al-Sewari, Abdul Rahman Ahmed Mohammed
Published: (2018)

EMMSAD 2011
by: Halpin, Terry, et al.
Published: (2011)

Improved relative discriminative criterion using rare and informative terms and ringed seal search-support vector machine techniques for text classification
by: Sharif, Wareesa
Published: (2019)

Generating t-way Test Suite in the Presence of Constraints
by: Al-Sewari, Abdul Rahman Ahmed Mohammed, et al.
Published: (2014)

A framework for relating business constraints to information systems
by: Carver, Andrew, et al.
Published: (2012)

A bat-inspired testing strategy for generating constraints pairwise test suite
by: Alsariera, Yazan A., et al.
Published: (2018)

Pre-Fetch Data Caching Strategy in Mobile Database System for Integrity Constraints Checking
by: Zarina, Dzolkhifli, et al.
Published: (2015)

Handling Constraints in Combinatorial Interaction Testing in the Presence of Multi Objective Particle Swarm and Multithreading
by: Ahmed, Bestoun S., et al.
Published: (2017)