Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2008/paper/poster_demo/52> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- 52 creator bella-manoim.
- 52 creator robert-w-mcgrail.
- 52 type InProceedings.
- 52 label "Toward an Ontology for Finite Algebras".
- 52 sameAs 52.
- 52 abstract "The authors present a case for an ontology of finite algebras. This vocabulary is a direct response to the limitations of the formats employed by first-order model searchers, such as Mace4, and specialized software, such as UACalc. It will support a semantically rich format for algebra storage and interchange intended to improve the efficiency of computational discovery processes in universal algebra. The class of finite quandles is considered as a case study in order to understand some of the challenges of designing such a knowledge base.".
- 52 hasAuthorList authorList.
- 52 isPartOf poster_demo_proceedings.
- 52 keyword "ontology".
- 52 keyword "symbolic computing".
- 52 keyword "universal algebra".
- 52 title "Toward an Ontology for Finite Algebras".