Matches in SemOpenAlex for { <https://semopenalex.org/work/W2185364470> ?p ?o ?g. }
- W2185364470 endingPage "292" @default.
- W2185364470 startingPage "287" @default.
- W2185364470 abstract "In this position paper we start with a motivation of our study of modal/description logics with values in concept lattices. Then we give a brief survey of approaches to lattice-valued modal and/or description logics. After that we study some methods of context symmetrization, because the description logic on concept lattices is defined for symmetric co ntexts only. We conclude with a list of problems related to comparison of dierent lattice-valued modal/description logics, dierent variants of context symmetrization and resulting description logics, decidability and axiomatization of these logics." @default.
- W2185364470 created "2016-06-24" @default.
- W2185364470 creator A5016966722 @default.
- W2185364470 creator A5026389657 @default.
- W2185364470 creator A5038348814 @default.
- W2185364470 creator A5088078978 @default.
- W2185364470 date "2013-01-01" @default.
- W2185364470 modified "2023-09-27" @default.
- W2185364470 title "Towards Description Logic on Concept Lattices" @default.
- W2185364470 cites W121508785 @default.
- W2185364470 cites W130537534 @default.
- W2185364470 cites W1496715660 @default.
- W2185364470 cites W1503729935 @default.
- W2185364470 cites W1555563750 @default.
- W2185364470 cites W165733271 @default.
- W2185364470 cites W1965548823 @default.
- W2185364470 cites W2028965700 @default.
- W2185364470 cites W2048959899 @default.
- W2185364470 cites W2396903734 @default.
- W2185364470 cites W2399737446 @default.
- W2185364470 cites W2514286655 @default.
- W2185364470 hasPublicationYear "2013" @default.
- W2185364470 type Work @default.
- W2185364470 sameAs 2185364470 @default.
- W2185364470 citedByCount "0" @default.
- W2185364470 crossrefType "proceedings-article" @default.
- W2185364470 hasAuthorship W2185364470A5016966722 @default.
- W2185364470 hasAuthorship W2185364470A5026389657 @default.
- W2185364470 hasAuthorship W2185364470A5038348814 @default.
- W2185364470 hasAuthorship W2185364470A5088078978 @default.
- W2185364470 hasConcept C102993220 @default.
- W2185364470 hasConcept C107247716 @default.
- W2185364470 hasConcept C11191006 @default.
- W2185364470 hasConcept C114092440 @default.
- W2185364470 hasConcept C11413529 @default.
- W2185364470 hasConcept C114614502 @default.
- W2185364470 hasConcept C121332964 @default.
- W2185364470 hasConcept C136119220 @default.
- W2185364470 hasConcept C151730666 @default.
- W2185364470 hasConcept C153269930 @default.
- W2185364470 hasConcept C154945302 @default.
- W2185364470 hasConcept C185592680 @default.
- W2185364470 hasConcept C188027245 @default.
- W2185364470 hasConcept C199343813 @default.
- W2185364470 hasConcept C202444582 @default.
- W2185364470 hasConcept C203659156 @default.
- W2185364470 hasConcept C24890656 @default.
- W2185364470 hasConcept C27508121 @default.
- W2185364470 hasConcept C2777686260 @default.
- W2185364470 hasConcept C2779343474 @default.
- W2185364470 hasConcept C2781204021 @default.
- W2185364470 hasConcept C33923547 @default.
- W2185364470 hasConcept C41008148 @default.
- W2185364470 hasConcept C42011625 @default.
- W2185364470 hasConcept C5263885 @default.
- W2185364470 hasConcept C58166 @default.
- W2185364470 hasConcept C64999384 @default.
- W2185364470 hasConcept C71139939 @default.
- W2185364470 hasConcept C71924100 @default.
- W2185364470 hasConcept C80444323 @default.
- W2185364470 hasConcept C86602344 @default.
- W2185364470 hasConcept C86803240 @default.
- W2185364470 hasConceptScore W2185364470C102993220 @default.
- W2185364470 hasConceptScore W2185364470C107247716 @default.
- W2185364470 hasConceptScore W2185364470C11191006 @default.
- W2185364470 hasConceptScore W2185364470C114092440 @default.
- W2185364470 hasConceptScore W2185364470C11413529 @default.
- W2185364470 hasConceptScore W2185364470C114614502 @default.
- W2185364470 hasConceptScore W2185364470C121332964 @default.
- W2185364470 hasConceptScore W2185364470C136119220 @default.
- W2185364470 hasConceptScore W2185364470C151730666 @default.
- W2185364470 hasConceptScore W2185364470C153269930 @default.
- W2185364470 hasConceptScore W2185364470C154945302 @default.
- W2185364470 hasConceptScore W2185364470C185592680 @default.
- W2185364470 hasConceptScore W2185364470C188027245 @default.
- W2185364470 hasConceptScore W2185364470C199343813 @default.
- W2185364470 hasConceptScore W2185364470C202444582 @default.
- W2185364470 hasConceptScore W2185364470C203659156 @default.
- W2185364470 hasConceptScore W2185364470C24890656 @default.
- W2185364470 hasConceptScore W2185364470C27508121 @default.
- W2185364470 hasConceptScore W2185364470C2777686260 @default.
- W2185364470 hasConceptScore W2185364470C2779343474 @default.
- W2185364470 hasConceptScore W2185364470C2781204021 @default.
- W2185364470 hasConceptScore W2185364470C33923547 @default.
- W2185364470 hasConceptScore W2185364470C41008148 @default.
- W2185364470 hasConceptScore W2185364470C42011625 @default.
- W2185364470 hasConceptScore W2185364470C5263885 @default.
- W2185364470 hasConceptScore W2185364470C58166 @default.
- W2185364470 hasConceptScore W2185364470C64999384 @default.
- W2185364470 hasConceptScore W2185364470C71139939 @default.
- W2185364470 hasConceptScore W2185364470C71924100 @default.
- W2185364470 hasConceptScore W2185364470C80444323 @default.
- W2185364470 hasConceptScore W2185364470C86602344 @default.
- W2185364470 hasConceptScore W2185364470C86803240 @default.
- W2185364470 hasLocation W21853644701 @default.
- W2185364470 hasOpenAccess W2185364470 @default.
- W2185364470 hasPrimaryLocation W21853644701 @default.
- W2185364470 hasRelatedWork W1511295272 @default.