Matches in SemOpenAlex for { <https://semopenalex.org/work/W176875912> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W176875912 abstract "@fi.upm.eshttp://decoroso.ls.fi.upm.esAbstract. The aim of this paper is to show a method that is able to detect a partic-ular class of semantic inconsistencies in a deductive system (DS). A DS verifiedby this method contains a set of production rules, and an OWL Lite ontology thatdefines the problem domain. The antecedent of a rule is a formula in DisjunctiveNormal Form, which encompasses first-order literals and linear arithmetic con-straints, and the consequent is a list of actions that can add or delete assertions ina non-monotonic manner. By building an ATMS-like theory the method is ableto give a specification of all the initial Fact Bases (FBs), and the rules that wouldhave to be executed from these initial FBs to produce an inconsistency." @default.
- W176875912 created "2016-06-24" @default.
- W176875912 creator A5048436719 @default.
- W176875912 creator A5082265137 @default.
- W176875912 date "2005-01-01" @default.
- W176875912 modified "2023-10-18" @default.
- W176875912 title "Consistency Verification of a Non-monotonic Deductive System based on OWL Lite" @default.
- W176875912 cites W1498153914 @default.
- W176875912 cites W165773049 @default.
- W176875912 cites W1980529731 @default.
- W176875912 cites W2039832885 @default.
- W176875912 cites W2041706664 @default.
- W176875912 cites W2079786086 @default.
- W176875912 cites W2147096558 @default.
- W176875912 cites W2232489005 @default.
- W176875912 cites W229019754 @default.
- W176875912 cites W2488569058 @default.
- W176875912 doi "https://doi.org/10.5220/0002573400190028" @default.
- W176875912 hasPublicationYear "2005" @default.
- W176875912 type Work @default.
- W176875912 sameAs 176875912 @default.
- W176875912 citedByCount "1" @default.
- W176875912 crossrefType "proceedings-article" @default.
- W176875912 hasAuthorship W176875912A5048436719 @default.
- W176875912 hasAuthorship W176875912A5082265137 @default.
- W176875912 hasBestOaLocation W1768759121 @default.
- W176875912 hasConcept C154945302 @default.
- W176875912 hasConcept C199360897 @default.
- W176875912 hasConcept C2776436953 @default.
- W176875912 hasConcept C41008148 @default.
- W176875912 hasConceptScore W176875912C154945302 @default.
- W176875912 hasConceptScore W176875912C199360897 @default.
- W176875912 hasConceptScore W176875912C2776436953 @default.
- W176875912 hasConceptScore W176875912C41008148 @default.
- W176875912 hasLocation W1768759121 @default.
- W176875912 hasOpenAccess W176875912 @default.
- W176875912 hasPrimaryLocation W1768759121 @default.
- W176875912 hasRelatedWork W2109507516 @default.
- W176875912 hasRelatedWork W2112962394 @default.
- W176875912 hasRelatedWork W2118300983 @default.
- W176875912 hasRelatedWork W2166247150 @default.
- W176875912 hasRelatedWork W2382501300 @default.
- W176875912 hasRelatedWork W2740990710 @default.
- W176875912 hasRelatedWork W3137189469 @default.
- W176875912 hasRelatedWork W3162240892 @default.
- W176875912 hasRelatedWork W4235530921 @default.
- W176875912 hasRelatedWork W4243252198 @default.
- W176875912 isParatext "false" @default.
- W176875912 isRetracted "false" @default.
- W176875912 magId "176875912" @default.
- W176875912 workType "article" @default.