Skip to content

Issues: Mttbnchtt/ontology-and-proofs

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

33 Open 118 Closed
33 Open 118 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Notebook for SPARQL queries enhancement New feature or request
#161 opened Jan 19, 2025 by Mttbnchtt SPARQL queries for the analysis of the ontology
@Mttbnchtt
create list of sparql queries enhancement New feature or request
#158 opened Jan 18, 2025 by Mttbnchtt SPARQL queries for the analysis of the ontology
@Mttbnchtt
sparql query: hierarchy of concepts enhancement New feature or request
#157 opened Jan 18, 2025 by Mttbnchtt SPARQL queries for the analysis of the ontology
@Mttbnchtt
create hierarchy of object properties enhancement New feature or request
#156 opened Jan 18, 2025 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
notion of surprise enhancement New feature or request
#155 opened Jan 16, 2025 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
Define diagram enhancement New feature or request
#131 opened Dec 20, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
Review relations and operations of postulates and common notions enhancement New feature or request
#127 opened Dec 18, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
Hypothesis about Pappus' proof enhancement New feature or request
#124 opened Dec 11, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
Classify operation as constructions or not enhancement New feature or request
#123 opened Dec 11, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
Check description of operations enhancement New feature or request
#122 opened Dec 10, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
Check obejct properties to use between relations (instances and types) and concepts enhancement New feature or request
#117 opened Dec 6, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
language as conceptual chunking and scaffolding enhancement New feature or request
#114 opened Dec 4, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
Different notions with the same term enhancement New feature or request
#107 opened Nov 27, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
1
Analysis of two types of creativity enhancement New feature or request
#106 opened Nov 27, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
1
Add implications enhancement New feature or request
#104 opened Nov 27, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
Check that the queries do not import extraneous items in the conceptual space enhancement New feature or request
#94 opened May 21, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
1
Check to find related objects reversing the spo direction enhancement New feature or request
#93 opened May 20, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
Add functions to retrieve conceptually related items enhancement New feature or request
#91 opened May 20, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
Analysis of heuristics enhancement New feature or request
#87 opened May 7, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
notebook: query to find goals of proofs and items related to them enhancement New feature or request
#86 opened May 7, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
2
describe goal of proofs enhancement New feature or request
#85 opened May 7, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
is analogous to enhancement New feature or request
#82 opened May 5, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
heuristic reasoner enhancement New feature or request
#58 opened Jan 5, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
1
Fix formal ontology article enhancement New feature or request
#57 opened Jan 5, 2024 by Mttbnchtt
@Mttbnchtt
Check datalog rules /3 enhancement New feature or request
#56 opened Jan 5, 2024 by Mttbnchtt mathematical creativity: completion and curation of ontologies concerning the isosceles triangle proof
@Mttbnchtt
ProTip! Follow long discussions with comments:>50.