{"id":"https://openalex.org/W2188546454","doi":null,"title":"Development of Structured Ontologies in Casl","display_name":"Development of Structured Ontologies in Casl","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W2188546454","mag":"2188546454"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.638.1261","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.1261","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.informatik.uni-bremen.de/agbkb/publikationen/luettich/phd_thesis.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5000145475","display_name":"Klaus L\u00fcttich","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Klaus L\u00fcttich","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5000145475"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.5189999938011169,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.5189999938011169,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.4652999937534332,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0013000000035390258,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/casl","display_name":"CASL","score":0.7649999856948853},{"id":"https://openalex.org/keywords/description-logics","display_name":"description logics","score":0.7850000262260437},{"id":"https://openalex.org/keywords/foundational-ontology","display_name":"foundational ontology","score":0.9100000262260437},{"id":"https://openalex.org/keywords/domain-ontology","display_name":"domain ontology","score":0.996999979019165},{"id":"https://openalex.org/keywords/knowledge-compilation","display_name":"knowledge compilation","score":0.9179999828338623},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.7300000190734863},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"automated theorem proving","score":0.9760000109672546},{"id":"https://openalex.org/keywords/spatial-cognition","display_name":"spatial cognition","score":0.9470000267028809}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7823383212089539},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.7083187699317932},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6557365655899048},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.6547461748123169},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.6010622382164001},{"id":"https://openalex.org/C61673122","wikidata":"https://www.wikidata.org/wiki/Q7095059","display_name":"Ontology language","level":3,"score":0.5367056131362915},{"id":"https://openalex.org/C2777691520","wikidata":"https://www.wikidata.org/wiki/Q4724019","display_name":"Algebraic specification","level":3,"score":0.5054621696472168},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4862286150455475},{"id":"https://openalex.org/C101230327","wikidata":"https://www.wikidata.org/wiki/Q826165","display_name":"Web Ontology Language","level":3,"score":0.46495282649993896},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.38436025381088257},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34758883714675903},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.19153285026550293},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.17384785413742065},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0932815670967102},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.638.1261","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.1261","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.informatik.uni-bremen.de/agbkb/publikationen/luettich/phd_thesis.pdf","raw_type":"text"},{"id":"mag:2188546454","doi":null,"is_oa":false,"landing_page_url":"http://www.informatik.uni-bremen.de/agbkb/publikationen/luettich/phd_thesis.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":73,"referenced_works":["https://openalex.org/W852874","https://openalex.org/W23685451","https://openalex.org/W33096334","https://openalex.org/W53707990","https://openalex.org/W65269168","https://openalex.org/W83192606","https://openalex.org/W92077514","https://openalex.org/W147983498","https://openalex.org/W156128023","https://openalex.org/W193530434","https://openalex.org/W198041307","https://openalex.org/W387168707","https://openalex.org/W603773429","https://openalex.org/W1489157673","https://openalex.org/W1496725166","https://openalex.org/W1506240119","https://openalex.org/W1508520904","https://openalex.org/W1509396243","https://openalex.org/W1514021483","https://openalex.org/W1516111989","https://openalex.org/W1528353049","https://openalex.org/W1534063397","https://openalex.org/W1538467105","https://openalex.org/W1542417898","https://openalex.org/W1544772936","https://openalex.org/W1556536463","https://openalex.org/W1556805795","https://openalex.org/W1561913124","https://openalex.org/W1572801864","https://openalex.org/W1576002006","https://openalex.org/W1595382624","https://openalex.org/W1598230811","https://openalex.org/W1625759111","https://openalex.org/W1640599491","https://openalex.org/W1670748022","https://openalex.org/W1802760973","https://openalex.org/W1865453863","https://openalex.org/W1870064950","https://openalex.org/W1875347247","https://openalex.org/W1975230264","https://openalex.org/W2002235248","https://openalex.org/W2008211212","https://openalex.org/W2038897673","https://openalex.org/W2045546253","https://openalex.org/W2046166587","https://openalex.org/W2061304951","https://openalex.org/W2066814802","https://openalex.org/W2067145053","https://openalex.org/W2075123415","https://openalex.org/W2079451371","https://openalex.org/W2092050435","https://openalex.org/W2098858511","https://openalex.org/W2102968264","https://openalex.org/W2106192381","https://openalex.org/W2114975944","https://openalex.org/W2115969784","https://openalex.org/W2122410182","https://openalex.org/W2127068769","https://openalex.org/W2127359631","https://openalex.org/W2129292012","https://openalex.org/W2130591879","https://openalex.org/W2152475379","https://openalex.org/W2154613094","https://openalex.org/W2154687603","https://openalex.org/W2167661609","https://openalex.org/W2291219095","https://openalex.org/W2492089900","https://openalex.org/W2529054973","https://openalex.org/W2583688014","https://openalex.org/W2916262976","https://openalex.org/W2973533397","https://openalex.org/W2992467847","https://openalex.org/W3146100352"],"related_works":["https://openalex.org/W33096334","https://openalex.org/W7100563801","https://openalex.org/W7097591104","https://openalex.org/W2992467847","https://openalex.org/W1584711849","https://openalex.org/W1489157673","https://openalex.org/W2291219095","https://openalex.org/W7099735332","https://openalex.org/W156128023","https://openalex.org/W7099740769"],"abstract_inverted_index":{"Ontologies":[0],"are":[1,13,27,31,43,52,112,128,280],"differentiated":[2],"in":[3,34,263],"foundational":[4,198],"and":[5,80,109,125,130,157,217,277,290],"domain":[6,50,110,194],"ontologies.":[7,199],"As":[8],"both":[9],"kinds":[10,105],"of":[11,106,118,122,144,151,176,191,212,230,251,266,274,285,293],"on-tologies":[12],"developed":[14],"under":[15],"different":[16,24],"considerations":[17],"such":[18],"as":[19,99,135,222,253],"expressivity":[20],"or":[21,37],"efficiency,":[22],"usu-ally":[23],"formal":[25],"languages":[26],"used.":[28],"Foundational":[29],"ontologies":[30,51,119,127,195,279],"typically":[32],"specified":[33],"first-order":[35,155,177],"logic":[36,156,159,178,182],"modal":[38],"logic,":[39],"since":[40],"precise":[41],"definitions":[42],"considered":[44],"more":[45],"important":[46,63],"than":[47],"efficiency.":[48],"Since":[49],"applied":[53,221,281],"to":[54,219,235,282],"large":[55],"knowledge":[56,165],"bases,":[57],"efficiency":[58],"is":[59,94,139,184,215,237,257],"consid-ered":[60],"the":[61,84,89,116,120,142,149,152,174,189,201,210,228,240,264,271,283,286,291],"most":[62],"factor.":[64],"This":[65,147],"initiated":[66],"intensive":[67],"investigation":[68,150],"into":[69],"description":[70,145,158,181],"logics,":[71],"a":[72,164,206],"less":[73],"expressive":[74],"logical":[75],"formalisms":[76],"aiming":[77],"at":[78,87],"tractable":[79],"efficient":[81],"reasoning.":[82],"In":[83,269],"cumulative":[85],"thesis":[86],"hand":[88],"algebraic":[90],"specification":[91,102,255],"language":[92,256],"Casl":[93,134,138,213,252],"studied":[95],"for":[96,173,188,209],"its":[97],"applicability":[98,250],"an":[100,136,223],"ontology":[101,224,254],"language.":[103],"Both":[104],"ontologies,":[107,111],"founda-tional":[108],"considered.":[113],"For":[114],"facilitating":[115],"development":[117,190,225,272],"notions":[121],"strongly":[123,275],"typed":[124,276],"structured":[126,161,278],"introduced":[129],"elaborated":[131],"by":[132,239,259],"using":[133],"example.":[137],"extended":[140,218],"through":[141],"support":[143],"logics.":[146],"enables":[148],"relation":[153],"between":[154],"within":[160],"Casl.":[162],"Additionally,":[163],"compilation":[166],"method":[167],"\u2014":[168,172],"preserving":[169],"basic":[170],"properties":[171],"approximation":[175],"theories":[179],"with":[180],"the-ories":[183],"described,":[185],"that":[186],"allows":[187],"efficiently":[192],"usable":[193],"based":[196],"on":[197,247],"Moreover,":[200],"Heterogeneous":[202],"Tool":[203],"Set":[204],"(Hets),":[205],"computer":[207],"program":[208],"analysis":[211,284],"specifications,":[214],"described":[216,238],"be":[220],"tool.":[226],"Particularly,":[227],"connection":[229],"automated":[231],"theorem":[232],"proving":[233],"systems":[234],"Hets":[236],"author,":[241],"thus":[242],"easing":[243],"potentially":[244],"tedious":[245],"work":[246],"proofs.":[248],"The":[249],"demonstrated":[258],"pro-viding":[260],"various":[261],"examples":[262],"context":[265],"spatial":[267],"cognition.":[268],"particular,":[270],"methods":[273],"WWW":[287],"navigation":[288],"metaphor":[289],"representation":[292],"route":[294],"knowledge.":[295]},"counts_by_year":[{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-09-26T08:19:03.415552","created_date":"2016-06-24T00:00:00"}