Matches in SemOpenAlex for { <https://semopenalex.org/work/W1933628585> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1933628585 abstract "Compared with frame-based systems, description logics have the advantage of well-defined semantics and powerful inferences. In order to exploit these advantages in technical domains, the ability to use concrete domains is needed, e.g. systems of (in)equalities over (non)linear polynomials to handle physical laws. Existing systems can only cope with comparisons between attributes. We present an approach that considerably improves the expressiveness of the concrete domains. CTL (Configurable (or Constraint-based) Terminological Logic) is based on the ideas presented in [Baader, F. & Hanschke, P. 1991] and [Hanschke, P. 1993]. Concrete domains are realised through a well-defined interface to external algorithms. Constraint Logic Programming (CLP) systems allow us to easily realise a whole range of concrete domains, e.g. over sets of symbols and numbers. In particular, we are able to handle systems of arbitrary linear polynomials. They also enable us to automatically participate in recent and future improvements in the areas of CLP and computer algebra, e.g. systems capable of handling arbitrary non-linear polynomials." @default.
- W1933628585 created "2016-06-24" @default.
- W1933628585 creator A5063219363 @default.
- W1933628585 creator A5067782102 @default.
- W1933628585 date "1996-01-01" @default.
- W1933628585 modified "2023-09-23" @default.
- W1933628585 title "CTL : a description logic with expressive concrete domains" @default.
- W1933628585 doi "https://doi.org/10.22028/d291-25061" @default.
- W1933628585 hasPublicationYear "1996" @default.
- W1933628585 type Work @default.
- W1933628585 sameAs 1933628585 @default.
- W1933628585 citedByCount "4" @default.
- W1933628585 crossrefType "journal-article" @default.
- W1933628585 hasAuthorship W1933628585A5063219363 @default.
- W1933628585 hasAuthorship W1933628585A5067782102 @default.
- W1933628585 hasConcept C11413529 @default.
- W1933628585 hasConcept C126042441 @default.
- W1933628585 hasConcept C128838566 @default.
- W1933628585 hasConcept C136119220 @default.
- W1933628585 hasConcept C159985019 @default.
- W1933628585 hasConcept C184337299 @default.
- W1933628585 hasConcept C192562407 @default.
- W1933628585 hasConcept C199360897 @default.
- W1933628585 hasConcept C202444582 @default.
- W1933628585 hasConcept C204323151 @default.
- W1933628585 hasConcept C2524010 @default.
- W1933628585 hasConcept C2776036281 @default.
- W1933628585 hasConcept C28077239 @default.
- W1933628585 hasConcept C33923547 @default.
- W1933628585 hasConcept C41008148 @default.
- W1933628585 hasConcept C76155785 @default.
- W1933628585 hasConcept C80444323 @default.
- W1933628585 hasConceptScore W1933628585C11413529 @default.
- W1933628585 hasConceptScore W1933628585C126042441 @default.
- W1933628585 hasConceptScore W1933628585C128838566 @default.
- W1933628585 hasConceptScore W1933628585C136119220 @default.
- W1933628585 hasConceptScore W1933628585C159985019 @default.
- W1933628585 hasConceptScore W1933628585C184337299 @default.
- W1933628585 hasConceptScore W1933628585C192562407 @default.
- W1933628585 hasConceptScore W1933628585C199360897 @default.
- W1933628585 hasConceptScore W1933628585C202444582 @default.
- W1933628585 hasConceptScore W1933628585C204323151 @default.
- W1933628585 hasConceptScore W1933628585C2524010 @default.
- W1933628585 hasConceptScore W1933628585C2776036281 @default.
- W1933628585 hasConceptScore W1933628585C28077239 @default.
- W1933628585 hasConceptScore W1933628585C33923547 @default.
- W1933628585 hasConceptScore W1933628585C41008148 @default.
- W1933628585 hasConceptScore W1933628585C76155785 @default.
- W1933628585 hasConceptScore W1933628585C80444323 @default.
- W1933628585 hasLocation W19336285851 @default.
- W1933628585 hasOpenAccess W1933628585 @default.
- W1933628585 hasPrimaryLocation W19336285851 @default.
- W1933628585 hasRelatedWork W1487334234 @default.
- W1933628585 hasRelatedWork W1525320924 @default.
- W1933628585 hasRelatedWork W1531748111 @default.
- W1933628585 hasRelatedWork W1549726206 @default.
- W1933628585 hasRelatedWork W1593889199 @default.
- W1933628585 hasRelatedWork W1860690667 @default.
- W1933628585 hasRelatedWork W1954776415 @default.
- W1933628585 hasRelatedWork W2002089154 @default.
- W1933628585 hasRelatedWork W2006777804 @default.
- W1933628585 hasRelatedWork W2006916249 @default.
- W1933628585 hasRelatedWork W2037008576 @default.
- W1933628585 hasRelatedWork W2112087718 @default.
- W1933628585 hasRelatedWork W2116976042 @default.
- W1933628585 hasRelatedWork W2156950788 @default.
- W1933628585 hasRelatedWork W2199942537 @default.
- W1933628585 hasRelatedWork W3007295124 @default.
- W1933628585 hasRelatedWork W3103318063 @default.
- W1933628585 hasRelatedWork W3125470836 @default.
- W1933628585 hasRelatedWork W3153601746 @default.
- W1933628585 hasRelatedWork W70976082 @default.
- W1933628585 isParatext "false" @default.
- W1933628585 isRetracted "false" @default.
- W1933628585 magId "1933628585" @default.
- W1933628585 workType "article" @default.