Matches in SemOpenAlex for { <https://semopenalex.org/work/W1659616924> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1659616924 abstract "In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attribution operations that preserve ∨, ∧ and ⊥. The preservation of ∧ allows the attributes to model the natural join operation in databases. We start by introducing ontological frameworks and knowledge bases and define the notion of a solution of a knowledge base. The import of this definition is that it specifies under what condition all information relevant to the domain of interest is present and it allows us to prove that a knowledge base always has a smallest, or terminal, solution. Though universal or initial solutions almost always are infinite in this setting with attributes, the terminal solution is finite in many cases.We describe a method for computing terminal solutions and give some conditions for termination and non-termination. The approach is predominantly coalgebraic, using Priestley duality, and calculations are made in the terminal coalgebra for the category of bounded distributive lattices with attribution operations." @default.
- W1659616924 created "2016-06-24" @default.
- W1659616924 creator A5001443602 @default.
- W1659616924 creator A5018842465 @default.
- W1659616924 creator A5028851521 @default.
- W1659616924 date "2009-01-01" @default.
- W1659616924 modified "2023-09-26" @default.
- W1659616924 title "Distributive Lattice-Structured Ontologies" @default.
- W1659616924 cites W1480754868 @default.
- W1659616924 cites W1539618905 @default.
- W1659616924 cites W1592711411 @default.
- W1659616924 cites W2066965800 @default.
- W1659616924 cites W2093397547 @default.
- W1659616924 cites W2133998496 @default.
- W1659616924 cites W3105686525 @default.
- W1659616924 doi "https://doi.org/10.1007/978-3-642-03741-2_19" @default.
- W1659616924 hasPublicationYear "2009" @default.
- W1659616924 type Work @default.
- W1659616924 sameAs 1659616924 @default.
- W1659616924 citedByCount "2" @default.
- W1659616924 crossrefType "book-chapter" @default.
- W1659616924 hasAuthorship W1659616924A5001443602 @default.
- W1659616924 hasAuthorship W1659616924A5018842465 @default.
- W1659616924 hasAuthorship W1659616924A5028851521 @default.
- W1659616924 hasConcept C111472728 @default.
- W1659616924 hasConcept C11413529 @default.
- W1659616924 hasConcept C11821877 @default.
- W1659616924 hasConcept C121332964 @default.
- W1659616924 hasConcept C134306372 @default.
- W1659616924 hasConcept C136119220 @default.
- W1659616924 hasConcept C138885662 @default.
- W1659616924 hasConcept C154945302 @default.
- W1659616924 hasConcept C192606457 @default.
- W1659616924 hasConcept C202444582 @default.
- W1659616924 hasConcept C24890656 @default.
- W1659616924 hasConcept C25810664 @default.
- W1659616924 hasConcept C2776235265 @default.
- W1659616924 hasConcept C2778249326 @default.
- W1659616924 hasConcept C2779664074 @default.
- W1659616924 hasConcept C2781204021 @default.
- W1659616924 hasConcept C33923547 @default.
- W1659616924 hasConcept C34388435 @default.
- W1659616924 hasConcept C41008148 @default.
- W1659616924 hasConcept C42058472 @default.
- W1659616924 hasConcept C4554734 @default.
- W1659616924 hasConcept C76155785 @default.
- W1659616924 hasConcept C80444323 @default.
- W1659616924 hasConceptScore W1659616924C111472728 @default.
- W1659616924 hasConceptScore W1659616924C11413529 @default.
- W1659616924 hasConceptScore W1659616924C11821877 @default.
- W1659616924 hasConceptScore W1659616924C121332964 @default.
- W1659616924 hasConceptScore W1659616924C134306372 @default.
- W1659616924 hasConceptScore W1659616924C136119220 @default.
- W1659616924 hasConceptScore W1659616924C138885662 @default.
- W1659616924 hasConceptScore W1659616924C154945302 @default.
- W1659616924 hasConceptScore W1659616924C192606457 @default.
- W1659616924 hasConceptScore W1659616924C202444582 @default.
- W1659616924 hasConceptScore W1659616924C24890656 @default.
- W1659616924 hasConceptScore W1659616924C25810664 @default.
- W1659616924 hasConceptScore W1659616924C2776235265 @default.
- W1659616924 hasConceptScore W1659616924C2778249326 @default.
- W1659616924 hasConceptScore W1659616924C2779664074 @default.
- W1659616924 hasConceptScore W1659616924C2781204021 @default.
- W1659616924 hasConceptScore W1659616924C33923547 @default.
- W1659616924 hasConceptScore W1659616924C34388435 @default.
- W1659616924 hasConceptScore W1659616924C41008148 @default.
- W1659616924 hasConceptScore W1659616924C42058472 @default.
- W1659616924 hasConceptScore W1659616924C4554734 @default.
- W1659616924 hasConceptScore W1659616924C76155785 @default.
- W1659616924 hasConceptScore W1659616924C80444323 @default.
- W1659616924 hasLocation W16596169241 @default.
- W1659616924 hasOpenAccess W1659616924 @default.
- W1659616924 hasPrimaryLocation W16596169241 @default.
- W1659616924 hasRelatedWork W1517683634 @default.
- W1659616924 hasRelatedWork W1983022915 @default.
- W1659616924 hasRelatedWork W2130435168 @default.
- W1659616924 hasRelatedWork W2133055704 @default.
- W1659616924 hasRelatedWork W2138811321 @default.
- W1659616924 hasRelatedWork W2146204372 @default.
- W1659616924 hasRelatedWork W2150604969 @default.
- W1659616924 hasRelatedWork W2151256611 @default.
- W1659616924 hasRelatedWork W2152009173 @default.
- W1659616924 hasRelatedWork W2318572191 @default.
- W1659616924 hasRelatedWork W2906899752 @default.
- W1659616924 hasRelatedWork W2951581929 @default.
- W1659616924 hasRelatedWork W2953362051 @default.
- W1659616924 hasRelatedWork W2957828145 @default.
- W1659616924 hasRelatedWork W2971572353 @default.
- W1659616924 hasRelatedWork W3115226918 @default.
- W1659616924 hasRelatedWork W3117857062 @default.
- W1659616924 hasRelatedWork W3122394275 @default.
- W1659616924 hasRelatedWork W611185725 @default.
- W1659616924 hasRelatedWork W125964128 @default.
- W1659616924 isParatext "false" @default.
- W1659616924 isRetracted "false" @default.
- W1659616924 magId "1659616924" @default.
- W1659616924 workType "book-chapter" @default.