Logical Data Analysis for Egyptian Objects

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		$\mathcal{ℬ}$
Gröbner basis		$G$

Parameters

Name	Unit	Symbol

Process Information

Process Steps

Name	Description	Input	Output	Method	Parameter	Environment	Discipline
Extract relevant Objects from Cachette de Karnak Database	333 meaningful objects are extracted from the reopsitory	Objects from the Cachette de Karnak	Subset of objects from the Cachette de Karnak				Egyptology
Define Properties for the Subset of Objects from the Cachette de Karnak	define relevant properties distinguishing the objects	Subset of objects from the Cachette de Karnak	Object Properties defined for the Subset of Objects from the Cachette de Karnak				Egyptology
Encode Subset of Objects from the Cachette de Karnak in binary Strings	encode Objects according to the object properties	Subset of objects from the Cachette de Karnak, Object Properties defined for the Subset of Objects from the Cachette de Karnak	Subset of objects from the Cachette de Karnak (boolean encoded)				Egyptology
Extract logical Rules from encoded Objects	determine the Gröbner basis of the boolean ring over the object properties	Subset of objects from the Cachette de Karnak (boolean encoded)	Logical Rules extracted from Subset of objects from the Cachette de Karnak	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 extracted from Subset of objects from the Cachette de Karnak	Relevant logical Rules extracted from Subset of objects from the Cachette de Karnak				Egyptology

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 extracted from Subset of objects from the Cachette de Karnak	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/