Reasoning About ORA-SS Data Models Using the Semantic Web

DOI10.1007/11890591_8MaRDI QIDQ5429188zbMATH OpenOpenAlexFDO

Authors

Publication date 29 November 2007

Published in Journal on Data Semantics VII (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11890591_8

zbMATH Keywords

Semantic WebORA-SSFormal VerificationSemistructured DataOntology Web Language

Mathematics Subject Classification ID

Database theory (68P15) Network design and communication in computer systems (68M10) General topics in the theory of data (68P01)

Recommendations

• scientific article; zbMATH DE number 1945864
• scientific article; zbMATH DE number 52152
• Datalog and Its Extensions for Semantic Web Databases
• KI 2004: Advances in Artificial Intelligence
• scientific article; zbMATH DE number 2089472
• Representing and reasoning on database conceptual schemas

Cited in

(4)

• Lightweight formalization and validation of ORM models
• Theorem prover approach to semistructured data design
• Aiding DSS users in the use of complex OR models
• A Z approach in validating ORA-SS data models

This page was built for publication: Reasoning About ORA-SS Data Models Using the Semantic Web

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5429188)