Logical Data Analysis for Egyptian Objects: Difference between revisions

From MaRDI portal
← Older editNewer edit →
VisualWikitext
T4 reidelbach (talk | contribs)
private
342 edits
No edit summary
T4 reidelbach (talk | contribs)
private
342 edits
No edit summary
Line 111: Line 111:
| Extract relevant Objects from Cachette de Karnak Database
| Extract relevant Objects from Cachette de Karnak Database
| 333 meaningful objects are extracted from the reopsitory
| 333 meaningful objects are extracted from the reopsitory
| Ancient Egyption Objects
| All objects from the Cachette de Karnak
| Subset of Ancient Egyption Objects
| Subset of objects from the Cachette de Karnak
|
|
|
|
Line 120: Line 120:
| Define (potentially) significant Object Properties
| Define (potentially) significant Object Properties
| Define properties distinguishing the objects
| Define properties distinguishing the objects
| Subset of Ancient Egyptian Objects
| Subset of objects from the Cachette de Karnak
| Subset of Ancient Egyptian Objects and Object Properties
| Object Properties
|
|
|
|
Line 129: Line 129:
| Encode Objects in binary Strings using Object Properties
| Encode Objects in binary Strings using Object Properties
| Encode Objects according to the object properties
| Encode Objects according to the object properties
| Subset of Ancient Egyptian Objects and Object Properties
| Subset of objects from the Cachette de Karnak,
| Boolean Encoding of Ancient Egyptian Statues
Object Properties
| Subset of objects from the Cachette de Karnak (boolean encoded)
|
|
|
|
Line 138: Line 139:
| Extract the logical rules by using the Rules and Pattern algorithm
| Extract the logical rules by using the Rules and Pattern algorithm
| construct the boolean ring over the object properties and determine corresponding Gröbner basis
| construct the boolean ring over the object properties and determine corresponding Gröbner basis
| Boolean Encoding of Ancient Egyptian Statues
| Subset of objects from the Cachette de Karnak (boolean encoded)
| Extracted Logical Rules
| Logical Rules
| Rules and Pattern algorithm
| Rules and Pattern algorithm
| weighted degree lexico-graphic order (monomial order)
| weighted degree lexico-graphic order (monomial order)
Line 147: Line 148:
| Interprete Logical Rules
| Interprete Logical Rules
| determine statistical and scientific relevance of rules
| determine statistical and scientific relevance of rules
| Extracted Logical Rules
| Logical Rules
| Rules with statistical and scientific relevance
| Relevant Rules
|
|
|
|
Line 262: Line 263:
|-
|-
| mardi:[https://portal.mardi4nfdi.de/wiki/Item:Q6032638 Q6032638]
| mardi:[https://portal.mardi4nfdi.de/wiki/Item:Q6032638 Q6032638]
| Boolean Encoding of Ancient Egyptian Statues
| Subset of objects from the Cachette de Karnak (boolean encoded)
| Small (KB - MB)
| Small (KB - MB)
| Julia Matrix
| Julia Matrix
Line 289: Line 290:
|-
|-
| mardi:[https://portal.mardi4nfdi.de/wiki/Item:Q6032639 Q6032639]
| mardi:[https://portal.mardi4nfdi.de/wiki/Item:Q6032639 Q6032639]
| Extracted Logical Rules
| Logical Rules
| Small (KB - MB)
| Small (KB - MB)
| list of algebraic expressions
| list of algebraic expressions

Revision as of 09:46, 2 October 2024

PID (if applicable): No

Problem Statement

Common Destruction Patterns in Egyptian Objects from the Cachette de Karnak

Object of Research and Objective

Do Destruction Patterns Follow Specific Rules?

Procedure

  1. Extract relevant Objects from Cachette de Karnak Database
  2. Define (potentially) significant Object Properties
  3. Encode Objects in binary Strings using Object Properties
  4. Extract the logical rules by using the Rules and Pattern algorithm
  5. Check rules for scientific and statistical Relevance

Involved Disciplines

Mathematical Areas:

1 - boolean algebra

Non-Mathematical Disciplines:

1 - Egyptology

Data Streams

binary encoded Objects as .xlsx file from egyptology to mathematics
logical rules about the Objects as .ipynb from mathematics to egyptology

Model

ID: mardi:Q6032635

Object Comparison Model

model comparing objects using a boolean ring over the object properties

Discretization

  • Time: No
  • Space: No

Variables

Name Unit Symbol
Boolean Ring ℬ
Gröbner basis G

Parameters

Name Unit Symbol

Process Information

Process Steps

Name Description Input Output Method Parameter Environment Mathematical Area
Extract relevant Objects from Cachette de Karnak Database 333 meaningful objects are extracted from the reopsitory All objects from the Cachette de Karnak Subset of objects from the Cachette de Karnak
Define (potentially) significant Object Properties Define properties distinguishing the objects Subset of objects from the Cachette de Karnak Object Properties
Encode Objects in binary Strings using Object Properties Encode Objects according to the object properties Subset of objects from the Cachette de Karnak,

Object Properties

Subset of objects from the Cachette de Karnak (boolean encoded)
Extract the logical rules by using the Rules and Pattern algorithm construct the boolean ring over the object properties and determine corresponding Gröbner basis Subset of objects from the Cachette de Karnak (boolean encoded) Logical Rules Rules and Pattern algorithm weighted degree lexico-graphic order (monomial order) Jupyter Notebook boolean algebra
Interprete Logical Rules determine statistical and scientific relevance of rules Logical Rules Relevant Rules

Applied Methods

ID Name Process Step Parameter implemented by
mardi:Q6032636 Rules and Pattern algorithm Extract the logical rules by using the Rules and Pattern algorithm weighted degree lexico-graphic order (monomial order) Julia

Software used

ID Name Description Version Programming Language Dependencies versioned published documented
mardi:Q26360 Python general-purpose programming language 3.7.6 Python
C 		gcc compiler Yes Yes Yes
mardi:Q25895 Julia high-performance dynamic programming language 1.6.0 C
C++
Scheme
Julia 		LLVM compiler Yes Yes Yes
mardi:Q33077 Jupyter Notebook a web-based interactive computational environment for creating Jupyter notebook documents 6.4.6 Python
 Python
gcc compiler 		Yes Yes Yes
mardi:Q52547 OSCAR Computer Algebra System 0.11.3 Julia
 Julia
AbstractAlgebra
DocStringExtensions
GAP
Hecke
Nemo
Polymake
RandomExtensions
Singular
msolve_jll
Preferences
JSON 		Yes Yes Yes

Hardware

ID Name Processor Compiler #Nodes #Cores
Lenovo Laptop AMD Ryzen 7 4700U with Radeon Graphics g++, gcc, libllvm13, libllvm15, libxkbcommon0, rpcsvc-proto 1 8

Input Data

ID Name Size Data Structure Format Representation Format Exchange binary/text proprietary to publish to archive
mardi:Q6032638 Subset of objects from the Cachette de Karnak (boolean encoded) Small (KB - MB) Julia Matrix dense matrix .xlsx Text No Yes 2033

Output Data

ID Name Size Data Structure Format Representation Format Exchange binary/text proprietary to publish to archive
mardi:Q6032639 Logical Rules Small (KB - MB) list of algebraic expressions list .ipynb Text No Yes 2033

Reproducibility

Mathematical Reproducibility

Yes

Runtime Reproducibility

Yes

Reproducibility of Results

Yes

Reproducibility on original Hardware

Yes

Reproducibility on other Hardware

Yes

Transferability to

other objects

Legend

The following abbreviations are used in the document to indicate/resolve IDs:

doi: DOI / https://dx.doi.org/

sw: swMATH / https://swmath.org/software/

wikidata: Wikidata / https://www.wikidata.org/wiki/

mardi: MaRDI / https://portal.mardi4nfdi.de/wiki/

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Logical_Data_Analysis_for_Egyptian_Objects&oldid=37850438"
Powered by MediaWiki