FRINK Linked Data Fragments server

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

• W3128668711 abstract "© 2020 CEUR-WS. All rights reserved. This paper introduces a methodology for the encoding of rules into a semantic logical format to facilitate the automated reasoning process. We demonstrate how to identify, capture, combine, and thus formulate all the components from rules into a computationally-oriented formalism. The need for the methodology is motivated by the desire for automated reasoning of automated vehicle information regarding traffic rules. We use Defeasible Deontic Logic as a formal foundation of our methodology. The overtaking traffic rule is our use-case to illustrate the usefulness of our methodology. Through this use-case, it is seen that the logical semantic representation of the traffic rules seems conceivable to support automated reasoning. This paper includes the source materials, the use cases, proposed methodology, and the example of encoding." @default.
• W3128668711 created "2021-02-15" @default.
• W3128668711 creator A5003958418 @default.
• W3128668711 creator A5015152477 @default.
• W3128668711 creator A5035857705 @default.
• W3128668711 creator A5053980134 @default.
• W3128668711 creator A5058360953 @default.
• W3128668711 creator A5072945508 @default.
• W3128668711 date "2019-01-01" @default.
• W3128668711 modified "2023-09-23" @default.
• W3128668711 title "A Methodology for Encoding Regulatory Rules." @default.
• W3128668711 cites W1642736128 @default.
• W3128668711 cites W1943924251 @default.
• W3128668711 cites W2000982189 @default.
• W3128668711 cites W2094758254 @default.
• W3128668711 cites W2112816268 @default.
• W3128668711 cites W2403804881 @default.
• W3128668711 cites W2888825003 @default.
• W3128668711 cites W2919359201 @default.
• W3128668711 cites W2974571163 @default.
• W3128668711 cites W3124199613 @default.
• W3128668711 cites W593005562 @default.
• W3128668711 cites W869788673 @default.
• W3128668711 cites W89614972 @default.
• W3128668711 cites W2478124943 @default.
• W3128668711 hasPublicationYear "2019" @default.
• W3128668711 type Work @default.
• W3128668711 sameAs 3128668711 @default.
• W3128668711 citedByCount "0" @default.
• W3128668711 crossrefType "journal-article" @default.
• W3128668711 hasAuthorship W3128668711A5003958418 @default.
• W3128668711 hasAuthorship W3128668711A5015152477 @default.
• W3128668711 hasAuthorship W3128668711A5035857705 @default.
• W3128668711 hasAuthorship W3128668711A5053980134 @default.
• W3128668711 hasAuthorship W3128668711A5058360953 @default.
• W3128668711 hasAuthorship W3128668711A5072945508 @default.
• W3128668711 hasConcept C111472728 @default.
• W3128668711 hasConcept C125411270 @default.
• W3128668711 hasConcept C127413603 @default.
• W3128668711 hasConcept C138885662 @default.
• W3128668711 hasConcept C142362112 @default.
• W3128668711 hasConcept C147176958 @default.
• W3128668711 hasConcept C153349607 @default.
• W3128668711 hasConcept C154945302 @default.
• W3128668711 hasConcept C159032336 @default.
• W3128668711 hasConcept C161301231 @default.
• W3128668711 hasConcept C193856179 @default.
• W3128668711 hasConcept C195344581 @default.
• W3128668711 hasConcept C2778448659 @default.
• W3128668711 hasConcept C3746660 @default.
• W3128668711 hasConcept C41008148 @default.
• W3128668711 hasConcept C558565934 @default.
• W3128668711 hasConcept C6377922 @default.
• W3128668711 hasConcept C73301696 @default.
• W3128668711 hasConcept C9616225 @default.
• W3128668711 hasConcept C97364631 @default.
• W3128668711 hasConceptScore W3128668711C111472728 @default.
• W3128668711 hasConceptScore W3128668711C125411270 @default.
• W3128668711 hasConceptScore W3128668711C127413603 @default.
• W3128668711 hasConceptScore W3128668711C138885662 @default.
• W3128668711 hasConceptScore W3128668711C142362112 @default.
• W3128668711 hasConceptScore W3128668711C147176958 @default.
• W3128668711 hasConceptScore W3128668711C153349607 @default.
• W3128668711 hasConceptScore W3128668711C154945302 @default.
• W3128668711 hasConceptScore W3128668711C159032336 @default.
• W3128668711 hasConceptScore W3128668711C161301231 @default.
• W3128668711 hasConceptScore W3128668711C193856179 @default.
• W3128668711 hasConceptScore W3128668711C195344581 @default.
• W3128668711 hasConceptScore W3128668711C2778448659 @default.
• W3128668711 hasConceptScore W3128668711C3746660 @default.
• W3128668711 hasConceptScore W3128668711C41008148 @default.
• W3128668711 hasConceptScore W3128668711C558565934 @default.
• W3128668711 hasConceptScore W3128668711C6377922 @default.
• W3128668711 hasConceptScore W3128668711C73301696 @default.
• W3128668711 hasConceptScore W3128668711C9616225 @default.
• W3128668711 hasConceptScore W3128668711C97364631 @default.
• W3128668711 hasLocation W31286687111 @default.
• W3128668711 hasOpenAccess W3128668711 @default.
• W3128668711 hasPrimaryLocation W31286687111 @default.
• W3128668711 hasRelatedWork W1479916186 @default.
• W3128668711 hasRelatedWork W1486395944 @default.
• W3128668711 hasRelatedWork W1532327010 @default.
• W3128668711 hasRelatedWork W1537132530 @default.
• W3128668711 hasRelatedWork W1569416751 @default.
• W3128668711 hasRelatedWork W1597683092 @default.
• W3128668711 hasRelatedWork W2109219228 @default.
• W3128668711 hasRelatedWork W2119664304 @default.
• W3128668711 hasRelatedWork W2134163600 @default.
• W3128668711 hasRelatedWork W2191435020 @default.
• W3128668711 hasRelatedWork W2261470452 @default.
• W3128668711 hasRelatedWork W2265447854 @default.
• W3128668711 hasRelatedWork W2302034627 @default.
• W3128668711 hasRelatedWork W2332874321 @default.
• W3128668711 hasRelatedWork W2403552075 @default.
• W3128668711 hasRelatedWork W2406478613 @default.
• W3128668711 hasRelatedWork W244606437 @default.
• W3128668711 hasRelatedWork W2888100158 @default.
• W3128668711 hasRelatedWork W2915313921 @default.
• W3128668711 hasRelatedWork W3119646866 @default.
• W3128668711 isParatext "false" @default.

• next