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
- Extract relevant Objects from Cachette de Karnak Database
- Define (potentially) significant Object Properties
- Encode Objects in binary Strings using Object Properties
- Extract the logical rules by using the Rules and Pattern algorithm
- 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 |
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 Subset of Objects from the Cachette de Karnak | 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 determined from Subset of Objects from the Cachette de Karnak | 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:Q33077 | Jupyter Notebook | a web-based interactive computational environment for creating Jupyter notebook documents | 6.4.6 | Python |
Python | Yes | Yes | Yes |
mardi:Q52547 | OSCAR | Computer Algebra System | 0.11.3 | Julia |
Julia | 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/