{"id":"https://openalex.org/W2018210638","doi":"https://doi.org/10.1145/1089551.1089674","title":"Product knowledge reasoning","display_name":"Product knowledge reasoning","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2018210638","doi":"https://doi.org/10.1145/1089551.1089674","mag":"2018210638"},"language":"en","primary_location":{"id":"doi:10.1145/1089551.1089674","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1089551.1089674","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th international conference on Electronic commerce  - ICEC '05","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5109043992","display_name":"Nizamuddin Channa","orcid":null},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Nizamuddin Channa","raw_affiliation_strings":["Zhejiang University, Hangzhou, China","Zhejiang university, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang university, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102771062","display_name":"Shanping Li","orcid":"https://orcid.org/0000-0003-0441-8271"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shanping Li","raw_affiliation_strings":["Zhejiang University, Hangzhou, China","Zhejiang university, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang university, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027344918","display_name":"Xiangjun Fu","orcid":null},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiangjun Fu","raw_affiliation_strings":["Zhejiang University, Hangzhou, China","Zhejiang university, Hangzhou, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang university, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5109043992"],"corresponding_institution_ids":["https://openalex.org/I76130692"],"apc_list":null,"apc_paid":null,"fwci":0.4388,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.72994913,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"692","last_page":"692"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9997000098228455,"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.9997000098228455,"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.9955999851226807,"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"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9915000200271606,"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/semantic-reasoner","display_name":"Semantic reasoner","score":0.8174248933792114},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.752310037612915},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.6553441882133484},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.6445345282554626},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.6331486701965332},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.5612267851829529},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5051682591438293},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.45809823274612427},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4434836804866791},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4390571713447571},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4296305775642395},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.4201495051383972},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.4175940752029419},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4143002927303314},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38938847184181213},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16188618540763855}],"concepts":[{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.8174248933792114},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.752310037612915},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.6553441882133484},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6445345282554626},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.6331486701965332},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.5612267851829529},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5051682591438293},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.45809823274612427},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4434836804866791},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4390571713447571},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4296305775642395},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4201495051383972},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.4175940752029419},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4143002927303314},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38938847184181213},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16188618540763855},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1089551.1089674","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1089551.1089674","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 7th international conference on Electronic commerce  - ICEC '05","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W50667648","https://openalex.org/W187485680","https://openalex.org/W1501276147","https://openalex.org/W1515947275","https://openalex.org/W1518539187","https://openalex.org/W1524698412","https://openalex.org/W1533665939","https://openalex.org/W1546744587","https://openalex.org/W1549726206","https://openalex.org/W1600534173","https://openalex.org/W1841277474","https://openalex.org/W2021481988","https://openalex.org/W2029987748","https://openalex.org/W2062796405","https://openalex.org/W2097702657","https://openalex.org/W2105447467","https://openalex.org/W2109003533","https://openalex.org/W2145221382"],"related_works":["https://openalex.org/W3127511143","https://openalex.org/W2542061993","https://openalex.org/W2737855517","https://openalex.org/W2214104119","https://openalex.org/W2350354245","https://openalex.org/W4323715042","https://openalex.org/W2804740741","https://openalex.org/W2159682108","https://openalex.org/W16767636","https://openalex.org/W2068634534"],"abstract_inverted_index":{"In":[0],"order":[1],"to":[2,24,50,109],"capture":[3],"the":[4,13,45,75,113],"full":[5],"fledge":[6],"semantic":[7,41],"of":[8,38,59,115],"complicated":[9,63],"product":[10],"data":[11],"model,":[12],"expressive":[14],"language":[15],"ALCNHR+K(D)":[16],"is":[17],"introduced.":[18],"It":[19],"cannot":[20],"only":[21],"be":[22],"able":[23],"represent":[25],"knowledge":[26,55,77],"about":[27],"concrete":[28],"domain":[29],"and":[30,61,84],"constraints,":[31],"but":[32],"also":[33],"rules":[34],"in":[35],"some":[36],"sense":[37],"closed":[39],"world":[40],"model":[42],"hypothesis.":[43],"Also":[44],"paper":[46],"investigates":[47],"an":[48,70],"extension":[49],"description":[51,80],"logic":[52,81],"(DL)":[53],"based":[54],"reasoning":[56,101],"by":[57],"means":[58],"decomposing":[60],"rewriting":[62],"hybrid":[64],"concepts":[65],"into":[66,79],"partitions.":[67],"We":[68],"present":[69],"approach":[71],"that":[72],"automatically":[73],"decomposes":[74],"whole":[76],"base":[78],"compatible":[82],"one":[83],"constraints":[85],"solver":[86],"one.":[87],"Our":[88],"arguments":[89],"are":[90,105],"two-fold.":[91],"First,":[92],"complex":[93],"DLs":[94],"with":[95,107,112],"powerful":[96],"representation":[97],"ability":[98],"lack":[99],"effective":[100],"ability.":[102],"Second,":[103],"we":[104],"concerned":[106],"how":[108],"reason":[110],"effectively":[111],"combination":[114],"inferences":[116],"from":[117],"distributed":[118],"heterogeneous":[119],"reasoner.":[120]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}