Matches in ScholarlyData for { ?s ?p ?o. }
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent ugur-kuter.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent jennifer-golbeck.
- item-2 previous item-1.
- 152 creator ken-kaneiwa.
- 152 creator philip-nguyen.
- 152 type InProceedings.
- 152 label "Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring".
- 152 sameAs 152.
- 152 abstract "This paper presents a decidable fragment for combining ontologies andrules in order-sorted logic programming. We describe order-sortedlogic programming with sort, predicate, and meta-predicate hierarchiesfor deriving predicate and meta-predicate assertions. Meta-levelpredicates (predicates of predicates) are useful for representingrelationships between predicate formulas, and further, theyconceptually yield a hierarchy similar to the hierarchies of sorts andpredicates. By extending the order-sorted Horn-clause calculus, wedevelop a query-answering system that can answer queries such as atomsand meta-atoms generalized by containing predicate variables. We showthat the expressive query-answering system computes every generalizedquery in single exponential time, i.e., the complexity of our querysystem is equal to that of DATALOG.".
- 152 hasAuthorList authorList.
- 152 hasTopic Semantic_Web.
- 152 isPartOf proceedings.
- 152 title "Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasLastItem item-2.
- item-1 type ListItem.
- item-1 hasContent ken-kaneiwa.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent philip-nguyen.
- item-2 previous item-1.
- 160 creator fabien-gandon.
- 160 creator guillaume-ereteo.
- 160 creator michel-buffa.
- 160 creator olivier-corby.
- 160 type InProceedings.
- 160 label "Analysis of a Real Online Social Network using Semantic Web Frameworks".
- 160 sameAs 160.
- 160 abstract "Social Network Analysis (SNA) provides graph algorithms to characterize the structure of social networks, strategic positions in these networks, specific sub-networks and decompositions of people and activities. Online social platforms like Facebook form huge social networks, enabling people to connect, interact and share their online activities across several social applications. We extended SNA operators using semantic web frameworks to include the semantics of these graph-based representations when analyzing such social networks and to deal with the diversity of their relations and interactions. We present here the results of this approach when it was used to analyze a real social network with 60,000 users connecting, interacting and sharing content.".
- 160 hasAuthorList authorList.
- 160 hasTopic Semantic_Web.
- 160 isPartOf proceedings.
- 160 title "Analysis of a Real Online Social Network using Semantic Web Frameworks".
- 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 guillaume-ereteo.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent michel-buffa.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent fabien-gandon.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent olivier-corby.
- item-4 previous item-3.
- 161 creator dimitris-kotzinos.
- 161 creator giorgos-flouris.
- 161 creator irini-fundulaki.
- 161 creator vassilis-christophides.
- 161 creator vicky-papavassiliou.
- 161 type InProceedings.
- 161 label "On Detecting High-Level Changes in RDF/S KBs".
- 161 sameAs 161.
- 161 abstract "An increasing number of scientific communities rely on Semantic Web ontologies to share and interpret data within and across research domains. These common knowledge representation resources are usually developed and maintained manually and essentially co-evolve along with experimental evidence produced by scientists worldwide. Detecting automatically the differences between (two) versions of the same ontology in order to store or visualize their deltas is a challenging task for e-science. In this paper, we focus on languages allowing the formulation of concise and intuitive deltas, which are expressive enough to describe unambiguously any possible change and that can be effectively and efficiently detected. We propose a specific language that provably exhibits those characteristics and provide a change detection algorithm which is sound and complete with respect to the proposed language. Finally, we provide a promising experimental evaluation of our framework using real ontologies from the cultural and bioinformatics domains.".
- 161 hasAuthorList authorList.
- 161 hasTopic Semantic_Web.
- 161 isPartOf proceedings.
- 161 title "On Detecting High-Level Changes in RDF/S KBs".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasItem item-4.
- authorList hasItem item-5.
- authorList hasLastItem item-5.
- item-1 type ListItem.
- item-1 hasContent vicky-papavassiliou.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent giorgos-flouris.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent irini-fundulaki.
- item-3 next item-4.
- item-3 previous item-2.
- item-4 type ListItem.
- item-4 hasContent dimitris-kotzinos.
- item-4 next item-5.
- item-4 previous item-3.
- item-5 type ListItem.
- item-5 hasContent vassilis-christophides.