FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1779658503> ?p ?o ?g. }

• W1779658503 endingPage "183" @default.
• W1779658503 startingPage "168" @default.
• W1779658503 abstract "After a brief introduction on the necessity of an explicit domain description for logic knowledge bases and the advantages of many-sorted logics, we argue that domain representation may consist of a separate logic theory which allows sorts to be assigned and tested dynamically. Then we show how this theory may be used by a meta-interpreter to implement many-sorted unification. Moreover we introduce a way for structuring the domain of discourse in a semantic network, leading to a system where domain knowledge and object language assertions are conceptually distinguished but embedded within an homogeneous formalism, which we call DRL (Declarative Representation Language). We call the former terminologic knowledge and the latter assertional knowledge, showing how some of the ideas of knowledge representation systems like KRYPTON can be successfully introduced within a logic programming approach." @default.
• W1779658503 created "2016-06-24" @default.
• W1779658503 creator A5053715134 @default.
• W1779658503 date "1986-01-01" @default.
• W1779658503 modified "2023-09-25" @default.
• W1779658503 title "Representing Domain Structure of Many-Sorted Prolog Knowledge Bases." @default.
• W1779658503 cites W1493596129 @default.
• W1779658503 cites W1494857846 @default.
• W1779658503 cites W1496545610 @default.
• W1779658503 cites W1531543048 @default.
• W1779658503 cites W1543252330 @default.
• W1779658503 cites W168669305 @default.
• W1779658503 cites W1860592703 @default.
• W1779658503 cites W2007709729 @default.
• W1779658503 cites W2021693981 @default.
• W1779658503 cites W2035346816 @default.
• W1779658503 cites W2038177009 @default.
• W1779658503 cites W2051033340 @default.
• W1779658503 cites W2122870912 @default.
• W1779658503 cites W2148717074 @default.
• W1779658503 cites W2159525276 @default.
• W1779658503 cites W2212036697 @default.
• W1779658503 cites W28444215 @default.
• W1779658503 hasPublicationYear "1986" @default.
• W1779658503 type Work @default.
• W1779658503 sameAs 1779658503 @default.
• W1779658503 citedByCount "0" @default.
• W1779658503 crossrefType "journal-article" @default.
• W1779658503 hasAuthorship W1779658503A5053715134 @default.
• W1779658503 hasConcept C10138342 @default.
• W1779658503 hasConcept C128838566 @default.
• W1779658503 hasConcept C134306372 @default.
• W1779658503 hasConcept C142362112 @default.
• W1779658503 hasConcept C148230440 @default.
• W1779658503 hasConcept C153349607 @default.
• W1779658503 hasConcept C154945302 @default.
• W1779658503 hasConcept C161301231 @default.
• W1779658503 hasConcept C162324750 @default.
• W1779658503 hasConcept C199360897 @default.
• W1779658503 hasConcept C204321447 @default.
• W1779658503 hasConcept C207685749 @default.
• W1779658503 hasConcept C2775945657 @default.
• W1779658503 hasConcept C33923547 @default.
• W1779658503 hasConcept C36503486 @default.
• W1779658503 hasConcept C41008148 @default.
• W1779658503 hasConcept C558565934 @default.
• W1779658503 hasConcept C73301696 @default.
• W1779658503 hasConcept C80444323 @default.
• W1779658503 hasConcept C81721847 @default.
• W1779658503 hasConcept C85407183 @default.
• W1779658503 hasConcept C96146094 @default.
• W1779658503 hasConceptScore W1779658503C10138342 @default.
• W1779658503 hasConceptScore W1779658503C128838566 @default.
• W1779658503 hasConceptScore W1779658503C134306372 @default.
• W1779658503 hasConceptScore W1779658503C142362112 @default.
• W1779658503 hasConceptScore W1779658503C148230440 @default.
• W1779658503 hasConceptScore W1779658503C153349607 @default.
• W1779658503 hasConceptScore W1779658503C154945302 @default.
• W1779658503 hasConceptScore W1779658503C161301231 @default.
• W1779658503 hasConceptScore W1779658503C162324750 @default.
• W1779658503 hasConceptScore W1779658503C199360897 @default.
• W1779658503 hasConceptScore W1779658503C204321447 @default.
• W1779658503 hasConceptScore W1779658503C207685749 @default.
• W1779658503 hasConceptScore W1779658503C2775945657 @default.
• W1779658503 hasConceptScore W1779658503C33923547 @default.
• W1779658503 hasConceptScore W1779658503C36503486 @default.
• W1779658503 hasConceptScore W1779658503C41008148 @default.
• W1779658503 hasConceptScore W1779658503C558565934 @default.
• W1779658503 hasConceptScore W1779658503C73301696 @default.
• W1779658503 hasConceptScore W1779658503C80444323 @default.
• W1779658503 hasConceptScore W1779658503C81721847 @default.
• W1779658503 hasConceptScore W1779658503C85407183 @default.
• W1779658503 hasConceptScore W1779658503C96146094 @default.
• W1779658503 hasLocation W17796585031 @default.
• W1779658503 hasOpenAccess W1779658503 @default.
• W1779658503 hasPrimaryLocation W17796585031 @default.
• W1779658503 hasRelatedWork W1142444543 @default.
• W1779658503 hasRelatedWork W1487563773 @default.
• W1779658503 hasRelatedWork W1506427308 @default.
• W1779658503 hasRelatedWork W1527786698 @default.
• W1779658503 hasRelatedWork W1667574996 @default.
• W1779658503 hasRelatedWork W17450716 @default.
• W1779658503 hasRelatedWork W2012899205 @default.
• W1779658503 hasRelatedWork W2018210638 @default.
• W1779658503 hasRelatedWork W2030022842 @default.
• W1779658503 hasRelatedWork W2049906196 @default.
• W1779658503 hasRelatedWork W206089394 @default.
• W1779658503 hasRelatedWork W2067290490 @default.
• W1779658503 hasRelatedWork W2130206757 @default.
• W1779658503 hasRelatedWork W2584880062 @default.
• W1779658503 hasRelatedWork W2955107593 @default.
• W1779658503 hasRelatedWork W3105588714 @default.
• W1779658503 hasRelatedWork W3158620252 @default.
• W1779658503 hasRelatedWork W34084181 @default.
• W1779658503 hasRelatedWork W57502216 @default.
• W1779658503 hasRelatedWork W1575107838 @default.
• W1779658503 isParatext "false" @default.
• W1779658503 isRetracted "false" @default.

• next