View source for Logical Data Analysis for Egyptian Objects

PID (if applicable): No

<span id="problem-statement"></span>
== Problem Statement ==

Common Destruction Patterns in Egyptian Objects from the Cachette de Karnak

<span id="object-of-research-and-objective"></span>
=== Object of Research and Objective ===

Do Destruction Patterns Follow Specific Rules?

<span id="procedure"></span>
=== Procedure ===

<ol>
<li>
Extract relevant Objects from Cachette de Karnak Database
</li>
<li>
Define (potentially) significant Object Properties
</li>
<li>
Encode Objects in binary Strings using Object Properties
</li>
<li>
Extract the logical rules by using the Rules and Pattern algorithm
</li>
<li>
Check rules for scientific and statistical Relevance
</li>
</ol>
<span id="involved-disciplines"></span>
=== Involved Disciplines ===

<b>Mathematical Areas:</b>

1 - [https://portal.mardi4nfdi.de/wiki/Item:Q6032634 boolean algebra]

<b>Non-Mathematical Disciplines:</b>

1 - [https://portal.mardi4nfdi.de/wiki/Item:Q6032633 Egyptology]

<span id="data-streams"></span>
=== Data Streams ===

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

<span id="model"></span>
== Model ==

ID: mardi:[https://portal.mardi4nfdi.de/wiki/Item:Q6032635 Q6032635]

Object Comparison Model

model comparing objects using a boolean ring over the object properties

<span id="discretization"></span>
=== Discretization ===

* Time: No
* Space: No

<span id="variables"></span>
=== Variables ===

{| class="wikitable"
! Name
! Unit
! Symbol
|-
| Boolean Ring
|
| <math>\mathcal{B}</math>
|-
| Gröbner basis
|
| <math>G</math>
|}

<span id="parameters"></span>
=== Parameters ===

{| class="wikitable"
! Name
! Unit
! Symbol
|-
|
|
|
|}

<span id="process-information"></span>
== Process Information ==

<span id="process-steps"></span>
=== Process Steps ===

{| class="wikitable"
!width="12%"| Name
!width="12%"| Description
!width="12%"| Input
!width="12%"| Output
!width="12%"| Method
!width="12%"| Parameter
!width="12%"| Environment
!width="12%"| 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
|
|
|
|[https://portal.mardi4nfdi.de/wiki/Item:Q6032633 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
|
|
|
|[https://portal.mardi4nfdi.de/wiki/Item:Q6032633 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)
|
|
|
|[https://portal.mardi4nfdi.de/wiki/Item:Q6032633 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
| [https://portal.mardi4nfdi.de/wiki/Item:Q6032634 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
|
|
|
|[https://portal.mardi4nfdi.de/wiki/Item:Q6032633 Egyptology]
|}

<span id="applied-methods"></span>
=== Applied Methods ===

{| class="wikitable"
!width="20%"| ID
!width="20%"| Name
!width="20%"| Process Step
!width="20%"| Parameter
!width="20%"| implemented by
|-
| mardi:[https://portal.mardi4nfdi.de/wiki/Item:Q6032636 Q6032636]
| Rules and Pattern algorithm
| Extract the logical rules by using the Rules and Pattern algorithm 
| weighted degree lexico-graphic order (monomial order)
| Julia
|}

<span id="software-used"></span>
=== Software used ===

{| class="wikitable"
!width="11%"| ID
!width="11%"| Name
!width="11%"| Description
!width="11%"| Version
!width="11%"| Programming Language
!width="11%"| Dependencies
!width="11%"| versioned
!width="11%"| published
!width="11%"| documented
|-
| mardi:[https://portal.mardi4nfdi.de/wiki/Item:Q26360 Q26360]
| Python
| general-purpose programming language
| 3.7.6
| [https://portal.mardi4nfdi.de/wiki/Item:Q26360 Python]<br>[https://portal.mardi4nfdi.de/wiki/Item:Q56772 C]
| gcc compiler
| [https://www.python.org/doc/versions/ Yes]
| [https://www.python.org/downloads/release/python-367/ Yes]
| [https://docs.python.org/release/3.6.7/ Yes]
|-
| mardi:[https://portal.mardi4nfdi.de/wiki/Item:Q25895 Q25895]
| Julia
| high-performance dynamic programming language
| 1.6.0
| [https://portal.mardi4nfdi.de/wiki/Item:Q56772 C]<br>[https://portal.mardi4nfdi.de/wiki/Item:Q116009 C++]<br>[https://portal.mardi4nfdi.de/wiki/Item:Q56789 Scheme]<br>[https://portal.mardi4nfdi.de/wiki/Item:Q25895 Julia]
| LLVM compiler
| [https://github.com/JuliaLang/julia/releases Yes]
| [https://github.com/JuliaLang/julia/releases/tag/v1.6.0 Yes]
| [https://github.com/JuliaLang/julia/tree/v1.6.0/doc Yes]
|-
| mardi:[https://portal.mardi4nfdi.de/wiki/Item:Q33077 Q33077]
| Jupyter Notebook
| a web-based interactive computational environment for creating Jupyter notebook documents
| 6.4.6
| [https://portal.mardi4nfdi.de/wiki/Item:Q26360 Python]<br/>
| Python<br/> gcc compiler
| [https://github.com/jupyter/notebook/releases Yes]
| [https://github.com/jupyter/notebook/releases/tag/v6.4.6 Yes]
| [https://github.com/jupyter/notebook/tree/v6.4.6/docs Yes]
|-
| mardi:[https://portal.mardi4nfdi.de/wiki/Item:Q52547 Q52547]
| OSCAR
| Computer Algebra System
| 0.11.3
| [https://portal.mardi4nfdi.de/wiki/Item:Q25895 Julia]<br/>
| Julia<br/> AbstractAlgebra<br/> DocStringExtensions<br/> GAP<br/> Hecke<br/> Nemo<br/> Polymake<br/> RandomExtensions<br/> Singular<br/> msolve_jll<br/> Preferences<br/> JSON
| [https://github.com/oscar-system/Oscar.jl/releases Yes]
| [https://github.com/oscar-system/Oscar.jl/releases/tag/v0.11.3 Yes]
| [https://github.com/oscar-system/Oscar.jl/tree/v0.11.3/docs Yes]
|}

<span id="hardware"></span>
=== Hardware ===

{| class="wikitable"
!width="16%"| ID
!width="16%"| Name
!width="16%"| Processor
!width="16%"| Compiler
!width="16%"| #Nodes
!width="16%"| #Cores
|-
|
| Lenovo Laptop
| AMD Ryzen 7 4700U with Radeon Graphics
| g++, gcc, libllvm13, libllvm15, libxkbcommon0, rpcsvc-proto
| 1
| 8
|}

<span id="input-data"></span>
=== Input Data ===

{| class="wikitable"
!width="10%"| ID
!width="10%"| Name
!width="10%"| Size
!width="10%"| Data Structure
!width="10%"| Format Representation
!width="10%"| Format Exchange
!width="10%"| binary/text
!width="10%"| proprietary
!width="10%"| to publish
!width="10%"| to archive
|-
| mardi:[https://portal.mardi4nfdi.de/wiki/Item:Q6032638 Q6032638]
| Subset of objects from the Cachette de Karnak (boolean encoded)
| Small (KB - MB)
| Julia Matrix
| dense matrix
| .xlsx
| Text
| No
| Yes
| 2033
|}

<span id="output-data"></span>
=== Output Data ===

{| class="wikitable"
!width="10%"| ID
!width="10%"| Name
!width="10%"| Size
!width="10%"| Data Structure
!width="10%"| Format Representation
!width="10%"| Format Exchange
!width="10%"| binary/text
!width="10%"| proprietary
!width="10%"| to publish
!width="10%"| to archive
|-
| mardi:[https://portal.mardi4nfdi.de/wiki/Item:Q6032639 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
|}

<span id="reproducibility"></span>
== Reproducibility ==

<span id="mathematical-reproducibility"></span>
=== Mathematical Reproducibility ===

Yes

<span id="runtime-reproducibility"></span>
=== Runtime Reproducibility ===

Yes

<span id="reproducibility-of-results"></span>
=== Reproducibility of Results ===

Yes

<span id="reproducibility-on-original-hardware"></span>
=== Reproducibility on original Hardware ===

Yes

<span id="reproducibility-on-other-hardware"></span>
=== Reproducibility on other Hardware ===

Yes

<span id="transferability-to"></span>
=== Transferability to ===

other objects

<span id="legend"></span>
== 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/

[[Category:MaRDMO workflows]]