Matches in SemOpenAlex for { <https://semopenalex.org/work/W33096334> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W33096334 endingPage "70" @default.
- W33096334 startingPage "57" @default.
- W33096334 abstract "This paper discusses the advantages of the Common Algebraic Specification Language (Casl) for the development of modular ontologies. Casl not only offers logics with a limited expressivity like description logic, but also e.g. first-order logic and modal logic. The central part of Casl is its powerful structuring mechanism, which is orthogonal to the logical formalisms. Hence the modularization applies uniformly to various logics and its extension Heterogeneous Casl (HetCasl) has even constructs for the combination of different logics. Additionally, the Heterogeneous Tool Set (Hets) is presented which enables reasoning and manipulation of Casl specifications. By presenting a detailed example ontology used for spatial knowledge representation the benefits of specification in Casl are discussed. Furthermore, a comparison with the OWL DL import mechanism is provided." @default.
- W33096334 created "2016-06-24" @default.
- W33096334 creator A5000145475 @default.
- W33096334 creator A5046603262 @default.
- W33096334 creator A5069269408 @default.
- W33096334 date "2006-11-05" @default.
- W33096334 modified "2023-09-24" @default.
- W33096334 title "Development of modular ontologies in Casl" @default.
- W33096334 cites W1489157673 @default.
- W33096334 cites W1506240119 @default.
- W33096334 cites W1529522905 @default.
- W33096334 cites W1538467105 @default.
- W33096334 cites W1577783107 @default.
- W33096334 cites W1866502235 @default.
- W33096334 cites W1875347247 @default.
- W33096334 cites W1991023298 @default.
- W33096334 cites W2010315125 @default.
- W33096334 cites W2064910157 @default.
- W33096334 cites W2066814802 @default.
- W33096334 cites W2106192381 @default.
- W33096334 cites W2114975944 @default.
- W33096334 cites W2500166317 @default.
- W33096334 cites W2622427009 @default.
- W33096334 cites W2914543930 @default.
- W33096334 cites W2916262976 @default.
- W33096334 cites W2992467847 @default.
- W33096334 cites W60270170 @default.
- W33096334 cites W147983498 @default.
- W33096334 cites W2583688014 @default.
- W33096334 hasPublicationYear "2006" @default.
- W33096334 type Work @default.
- W33096334 sameAs 33096334 @default.
- W33096334 citedByCount "4" @default.
- W33096334 crossrefType "journal-article" @default.
- W33096334 hasAuthorship W33096334A5000145475 @default.
- W33096334 hasAuthorship W33096334A5046603262 @default.
- W33096334 hasAuthorship W33096334A5069269408 @default.
- W33096334 hasConcept C101230327 @default.
- W33096334 hasConcept C101468663 @default.
- W33096334 hasConcept C102993220 @default.
- W33096334 hasConcept C154945302 @default.
- W33096334 hasConcept C171018156 @default.
- W33096334 hasConcept C199360897 @default.
- W33096334 hasConcept C201677973 @default.
- W33096334 hasConcept C2129575 @default.
- W33096334 hasConcept C2524010 @default.
- W33096334 hasConcept C2777691520 @default.
- W33096334 hasConcept C33923547 @default.
- W33096334 hasConcept C41008148 @default.
- W33096334 hasConceptScore W33096334C101230327 @default.
- W33096334 hasConceptScore W33096334C101468663 @default.
- W33096334 hasConceptScore W33096334C102993220 @default.
- W33096334 hasConceptScore W33096334C154945302 @default.
- W33096334 hasConceptScore W33096334C171018156 @default.
- W33096334 hasConceptScore W33096334C199360897 @default.
- W33096334 hasConceptScore W33096334C201677973 @default.
- W33096334 hasConceptScore W33096334C2129575 @default.
- W33096334 hasConceptScore W33096334C2524010 @default.
- W33096334 hasConceptScore W33096334C2777691520 @default.
- W33096334 hasConceptScore W33096334C33923547 @default.
- W33096334 hasConceptScore W33096334C41008148 @default.
- W33096334 hasOpenAccess W33096334 @default.
- W33096334 hasRelatedWork W1504033104 @default.
- W33096334 hasRelatedWork W1516068070 @default.
- W33096334 hasRelatedWork W1560300944 @default.
- W33096334 hasRelatedWork W1581587967 @default.
- W33096334 hasRelatedWork W1584586862 @default.
- W33096334 hasRelatedWork W1601132928 @default.
- W33096334 hasRelatedWork W1607752709 @default.
- W33096334 hasRelatedWork W1981237135 @default.
- W33096334 hasRelatedWork W2010883554 @default.
- W33096334 hasRelatedWork W2033852084 @default.
- W33096334 hasRelatedWork W2040883471 @default.
- W33096334 hasRelatedWork W206056444 @default.
- W33096334 hasRelatedWork W2080655283 @default.
- W33096334 hasRelatedWork W2113193344 @default.
- W33096334 hasRelatedWork W2153633198 @default.
- W33096334 hasRelatedWork W2187778085 @default.
- W33096334 hasRelatedWork W2886205448 @default.
- W33096334 hasRelatedWork W3001621508 @default.
- W33096334 hasRelatedWork W593769067 @default.
- W33096334 hasRelatedWork W60270170 @default.
- W33096334 isParatext "false" @default.
- W33096334 isRetracted "false" @default.
- W33096334 magId "33096334" @default.
- W33096334 workType "article" @default.