Logical Data Analysis for Egyptian Objects
From MaRDI portal
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 | Mathematical Area |
|---|---|---|---|---|---|---|---|
| Extract relevant Objects from Cachette de Karnak Database | 333 meaningful objects are extracted from the reopsitory | Ancient Egyption Objects | Subset of Ancient Egyption Objects | ||||
| Define (potentially) significant Object Properties | Define properties distinguishing the objects | Subset of Ancient Egyptian Objects | Subset of Ancient Egyptian Objects and Object Properties | ||||
| Encode Objects in binary Strings using Object Properties | Encode Objects according to the object properties | Subset of Ancient Egyptian Objects and Object Properties | Boolean Encoding of Ancient Egyptian Statues | ||||
| 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 | Boolean Encoding of Ancient Egyptian Statues Boolean Encoding of Ancient Egyptian Statues |
Extracted 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 | Extracted Logical Rules | Rules with statistical and scientific relevance |
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 | Boolean Encoding of Ancient Egyptian Statues | 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 | Extracted 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/
