{"id":"https://openalex.org/W2949385273","doi":"https://doi.org/10.48550/arxiv.1302.0334","title":"Class Algebra for Ontology Reasoning","display_name":"Class Algebra for Ontology Reasoning","publication_year":2013,"publication_date":"2013-02-02","ids":{"openalex":"https://openalex.org/W2949385273","doi":"https://doi.org/10.48550/arxiv.1302.0334","mag":"2949385273"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:1302.0334","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1302.0334","pdf_url":"https://arxiv.org/pdf/1302.0334","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1302.0334","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033034811","display_name":"Daniel J. Buehrer","orcid":"https://orcid.org/0000-0002-3208-5390","observed_orcids":["https://orcid.org/0000-0002-3208-5390"]},"institutions":[{"id":"https://openalex.org/I148099254","display_name":"National Chung Cheng University","ror":"https://ror.org/0028v3876","country_code":"TW","type":"education","lineage":["https://openalex.org/I148099254"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Buehrer, Daniel","raw_affiliation_strings":["Institute of Computer Science and Information Engineering National Chung Cheng University Chia Yi 621 , Taiwan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Computer Science and Information Engineering National Chung Cheng University Chia Yi 621 , Taiwan","institution_ids":["https://openalex.org/I148099254"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044930264","display_name":"Chee-Hwa Lee","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lee, Chee-Hwa","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9663000106811523,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9663000106811523,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.012000000104308128,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.0027000000700354576,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/ontology-reasoning","display_name":"ontology reasoning","score":0.9490000009536743},{"id":"https://openalex.org/keywords/distributed-ontologies","display_name":"distributed ontologies","score":0.6930000185966492},{"id":"https://openalex.org/keywords/counterexample-generation","display_name":"counterexample generation","score":0.46399998664855957},{"id":"https://openalex.org/keywords/relational-databases","display_name":"relational databases","score":0.6610000133514404},{"id":"https://openalex.org/keywords/object-oriented-databases","display_name":"object-oriented databases","score":0.9039999842643738},{"id":"https://openalex.org/keywords/xml-documents","display_name":"XML documents","score":0.7239999771118164}],"concepts":[{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.7105780839920044},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6933819055557251},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.6071277856826782},{"id":"https://openalex.org/C95916125","wikidata":"https://www.wikidata.org/wiki/Q840540","display_name":"Relational algebra","level":3,"score":0.5210285186767578},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4973602592945099},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.4705277681350708},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4453062117099762},{"id":"https://openalex.org/C2781289151","wikidata":"https://www.wikidata.org/wiki/Q2903989","display_name":"Class hierarchy","level":3,"score":0.43359100818634033},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42255839705467224},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.4208652675151825},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.36270201206207275},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.321885347366333},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21027493476867676},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18841511011123657},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.15490460395812988},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1530536413192749},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.11242523789405823},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:arXiv.org:1302.0334","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1302.0334","pdf_url":"https://arxiv.org/pdf/1302.0334","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:2949385273","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1302.0334","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.46.6723","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.6723","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://bean.cs.ccu.edu.tw/~dan/papers/buehrer/a096buehrer.ps","raw_type":"text"},{"id":"doi:10.48550/arxiv.1302.0334","doi":"https://doi.org/10.48550/arxiv.1302.0334","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1302.0334","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1302.0334","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1302.0334","pdf_url":"https://arxiv.org/pdf/1302.0334","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[{"id":"https://metadata.un.org/sdg/17","score":0.5,"display_name":"Partnerships for the goals"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2949385273.pdf","grobid_xml":"https://content.openalex.org/works/W2949385273.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W33042790","https://openalex.org/W2063707360","https://openalex.org/W91189268","https://openalex.org/W2381793798","https://openalex.org/W2049652711","https://openalex.org/W2478066008","https://openalex.org/W2110918077","https://openalex.org/W1607297621","https://openalex.org/W2134620338","https://openalex.org/W64635555","https://openalex.org/W1534299521","https://openalex.org/W2126942675","https://openalex.org/W127468205","https://openalex.org/W28014709","https://openalex.org/W2109533816","https://openalex.org/W2407908780","https://openalex.org/W1765805971","https://openalex.org/W75344240","https://openalex.org/W2039601877","https://openalex.org/W81313682"],"abstract_inverted_index":{"Class":[0],"algebra":[1,62,132,149],"provides":[2,92],"a":[3,54,64,68,146],"natural":[4],"framework":[5,90],"for":[6,47,57],"sharing":[7],"of":[8,17,53,79,100,105,113,127,138,150,166],"ISA":[9,142],"hierarchies":[10],"between":[11,67],"users":[12,43],"that":[13],"may":[14],"be":[15,34,155],"unaware":[16],"each":[18,58],"other's":[19],"definitions.":[20,102],"This":[21,103],"permits":[22],"data":[23],"from":[24],"relational":[25],"databases,":[26,28],"object-oriented":[27],"and":[29,76,98,117],"tagged":[30],"XML":[31],"documents":[32],"to":[33,162],"unioned":[35],"into":[36],"one":[37],"distributed":[38],"ontology,":[39],"sharable":[40],"by":[41,157],"all":[42,80],"without":[44],"the":[45,51,77,84,114,125,135,141,170],"need":[46],"prior":[48],"negotiation":[49],"or":[50],"development":[52],"\"standard\"":[55],"ontology":[56],"field.":[59],"Moreover,":[60],"class":[61,70,131],"produces":[63],"functional":[65],"correspondence":[66],"class's":[69],"algebraic":[71],"definition":[72],"(i.e.":[73,86],"its":[74,87],"\"intent\")":[75],"set":[78],"instances":[81],"which":[82],"satisfy":[83],"expression":[85],"\"extent\").":[88],"The":[89,152],"thus":[91],"assistance":[93],"in":[94,124,140,169],"quickly":[95],"locating":[96],"examples":[97],"counterexamples":[99],"various":[101],"kind":[104],"information":[106],"is":[107],"very":[108],"valuable":[109],"when":[110],"developing":[111],"models":[112],"real":[115],"world,":[116],"serves":[118],"as":[119],"an":[120],"invaluable":[121],"tool":[122],"assisting":[123],"proof":[126],"theorems":[128],"concerning":[129],"these":[130],"expressions.":[133],"Finally,":[134],"relative":[136],"frequencies":[137],"objects":[139,168],"hierarchy":[143],"can":[144,154],"produce":[145],"useful":[147],"Boolean":[148],"probabilities.":[151],"probabilities":[153],"used":[156],"traditional":[158],"information-theoretic":[159],"classification":[160],"methodologies":[161],"obtain":[163],"optimal":[164],"ways":[165],"classifying":[167],"database.":[171]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2026-09-30T09:27:27.532063","created_date":"2025-10-10T00:00:00"}