{"id":"W2120066393","doi":"10.1007/11549345_44","title":"Basic Mereology with Equivalence Relations","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Semantic Web and Ontologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Mereology; Axiom; Computer science; Equivalence (formal languages); Equivalence relation; Theoretical computer science; Algebra over a field; Software; Algorithm; Artificial intelligence; Calculus (dental); Programming language; Discrete mathematics; Mathematics; Pure mathematics; Epistemology; Philosophy; Geometry","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005372973,0.0004908474,0.0005172594,0.000729857,0.0002834551,0.0002933784,0.003618134,0.0003270843,0.0000735358],"category_scores_gemma":[0.00009254973,0.0003862403,0.0000913081,0.0006056443,0.001335487,0.0007238073,0.001108361,0.000790076,0.0001671503],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002225567,"about_ca_system_score_gemma":0.0007101123,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002523824,"about_ca_topic_score_gemma":0.0003244044,"domain_scores_codex":[0.9964564,0.00003404365,0.00043086,0.001532513,0.0008094539,0.0007367662],"domain_scores_gemma":[0.997086,0.0006563035,0.0002630092,0.001637266,0.0002148891,0.0001425378],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000938775,0.00003622122,0.000629834,0.00002510587,0.00002227015,0.0002396783,0.001055609,0.03220974,0.00005144062,0.1994885,0.00008231964,0.7661499],"study_design_scores_gemma":[0.0009866267,0.0009411787,0.003305945,0.0009865805,0.00004945461,0.001039349,0.000001083841,0.5002607,0.001229562,0.4771577,0.01159733,0.002444593],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000178014,0.0007222403,0.9793215,0.003290903,0.000931591,0.0002715977,0.000001857223,0.0002657084,0.01501662],"genre_scores_gemma":[0.2390806,0.00007674991,0.7558868,0.002170554,0.0004895655,0.00001235212,0.000002919389,0.00003286037,0.002247591],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7637053,"threshold_uncertainty_score":0.999859,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02003696850895989,"score_gpt":0.2448393048726374,"score_spread":0.2248023363636775,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}