Matches in ScholarlyData for { ?s ?p ?o. }
- item-2 type ListItem.
- item-2 hasContent peter-edwards.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent alun-preece.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent nick-gotts.
- item-4 next item-5.
- item-4 previous item-3.
- item-5 type ListItem.
- item-5 hasContent gary-polhill.
- item-5 previous item-4.
- 120 creator axel-polleres.
- 120 creator fang-wei.
- 120 creator reinhard-pichler.
- 120 creator stefan-woltran.
- 120 type InProceedings.
- 120 label "Entailment for Domain-restricted RDF".
- 120 sameAs 120.
- 120 abstract "We introduce domain-restricted RDF (dRDF) which allows to associate an RDF graph with a fixed, finite domain that interpretations for it may range over. We show that dRDF is a real extension of RDF and discuss impacts on the complexity of entailment in dRDF. The entailment problem represents the key reasoning task for RDF and is well known to be NP-complete. Remarkably, we show that the restriction of domains in dRDF raises the complexity of entailment from NP- to $\Pi^P_2$-completeness. In order to lower complexity of entailment for both domain-restricted and unrestricted graphs, we take a closer look at the graph structure. For cases where the structure of RDF graphs is restricted via the concept of bounded treewidth, we manage to prove tractability of entailment. We also present a polynomial entailment checking algorithm for such graphs.".
- 120 hasAuthorList authorList.
- 120 hasTopic Formal_languages.
- 120 hasTopic Inference.
- 120 hasTopic Logic.
- 120 hasTopic SPARQL.
- 120 hasTopic Semantic_Web.
- 120 isPartOf proceedings.
- 120 keyword "complexity".
- 120 keyword "entailment".
- 120 keyword "h-subsumption".
- 120 keyword "rdf".
- 120 keyword "semantic web".
- 120 title "Entailment for Domain-restricted RDF".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasLastItem item-4.
- item-1 type ListItem.
- item-1 hasContent reinhard-pichler.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent axel-polleres.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent fang-wei.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent stefan-woltran.
- item-4 previous item-3.
- 130 creator heeryon-cho.
- 130 creator satoshi-oyama.
- 130 creator toru-ishida.
- 130 creator toshiyuki-takasaki.
- 130 type InProceedings.
- 130 label "Assisting Pictogram Selection with Semantic Interpretation".
- 130 sameAs 130.
- 130 abstract "Participants at both end of the communication channel must share common pictogram interpretation to communicate. However, because pictogram interpretation can be ambiguous, pictogram communication can sometimes be difficult. To assist human task of selecting pictograms more likely to be interpreted as intended, we propose a semantic relevance measure which calculates how relevant a pictogram is to a given interpretation. The proposed measure uses pictogram interpretations and frequencies gathered from a web survey to define probability and similarity measurement of interpretation words. Moreover, the proposed measure is applied to categorized pictogram interpretations to enhance retrieval performance. Five pictogram categories are created using the five first-level concepts defined the Concept Dictionary of EDR Electronic Dictionary. Retrieval performace among non-categorized interpretations, categorized and non-weighted interpretations, and categorized and weighted interpretations using semantic relevance measure were compared, and the weighted and categorized semantic relevance approach exhibited highest precision and recall.".
- 130 hasAuthorList authorList.
- 130 hasTopic Multimedia.
- 130 hasTopic Semantic_Web.
- 130 hasTopic User_interface.
- 130 isPartOf proceedings.
- 130 keyword "categorization".
- 130 keyword "pictogram".
- 130 keyword "semantic tagging".
- 130 title "Assisting Pictogram Selection with Semantic Interpretation".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasLastItem item-4.
- item-1 type ListItem.
- item-1 hasContent heeryon-cho.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent toru-ishida.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent toshiyuki-takasaki.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent satoshi-oyama.
- item-4 previous item-3.
- 133 creator abraham-bernstein.
- 133 creator christoph-kiefer.
- 133 type InProceedings.
- 133 label "The Creation and Evaluation of iSPARQL Strategies for Matchmaking".
- 133 sameAs 133.