Matches in ScholarlyData for { ?s ?p ?o. }
- 36 keyword "scripting".
- 36 keyword "semantic web".
- 36 keyword "smart space".
- 36 title "OWL Web Ontology Language as a Scripting Language for Smart Space Applications".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent espen-suenson.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent johan-lilius.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent ivan-porres.
- item-3 previous item-2.
- 37 creator euripides-petrakis.
- 37 creator sotiris-batsakis.
- 37 type InProceedings.
- 37 label "SOWL: A Framework for Handling Spatio-Temporal Information in OWL 2.0".
- 37 sameAs 37.
- 37 abstract "We propose SOWL, an ontology for representing and reasoning over spatio-temporal information in OWL. Building upon well established standards of the semantic web (OWL 2.0, SWRL) SOWL enables representation of static as well as of dynamic information based on the 4D fluents mechanism. Both, RCC-8 topological and cone shaped directional relations are integrated in SOWL. Representing both, qualitative temporal and spatial information (i.e., information whose temporal or spatial extents are unknown such as "left-of" for spatial and "before" for temporal relations) in addition to quantitative information (i.e., where temporal and spatial information is defined precisely) is a distinctive feature of SOWL. Qualitative representations are very common in natural language expressions such in free text or speech. The SOWL spatiotemporal reasoning rules offer capabilities for inferring new relations and checking their consistency, while retaining soundness, completeness and tractability over the supported sets of relations.".
- 37 hasAuthorList authorList.
- 37 isPartOf proceedings.
- 37 keyword "Qualitative Reasoning".
- 37 keyword "Spatial Reasoning".
- 37 keyword "Temporal Reasoning".
- 37 title "SOWL: A Framework for Handling Spatio-Temporal Information in OWL 2.0".
- 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 sotiris-batsakis.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent euripides-petrakis.
- item-2 previous item-1.
- 4 creator alejandro-luna-tedesqui.
- 4 creator gines-moreno.
- 4 creator jesus-almendros.
- 4 type InProceedings.
- 4 label "A Flexible XPath based Query Language implemented with Fuzzy Logic Programming".
- 4 sameAs 4.
- 4 abstract "In this paper we present an extension of the XPath query language for the handling of fl exible queries. Our approach proposes two structural constraints called <<down>> and <<deep>> in XPath and for which a certain degree of relevance can be associated. In addition, we provide flexible operators <<and>>, <<or>> and <<avg>> for XPath conditions. In particular, the <<avg>> connective introduces a fuzzy taste in XPath conditions over node (tag and attribute) content. In this way, users can express the priority they give to answers. Such fuzzy operators can be combined to provide ranked answers. Our approach has been implemented by means of the fuzzy logic language MALP (multi-adjoint logic programming), using the FLOPER tool. We have taken profit of the clear sinergies existing between the target and object fuzzy languages (i.e. the extended XPath dialect and MALP, respectively).".
- 4 hasAuthorList authorList.
- 4 isPartOf proceedings.
- 4 keyword "Fuzzy Logic Programming".
- 4 keyword "Fuzzy XPath".
- 4 keyword "Rule-based Systems".
- 4 title "A Flexible XPath based Query Language implemented with Fuzzy Logic Programming".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasItem item-2.
- authorList hasItem item-3.
- authorList hasLastItem item-3.
- item-1 type ListItem.
- item-1 hasContent jesus-almendros.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent alejandro-luna-tedesqui.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent gines-moreno.
- item-3 previous item-2.
- 40 creator antonino-rotolo.
- 40 type InProceedings.
- 40 label "Rule-based agents, compliance, and intention reconsideration in defeasible logic".
- 40 sameAs 40.
- 40 abstract "In this paper we use belief revision techniques to change rule-based theories characterizing the deliberation process of cognitive agents. In particular, we discuss how intentions can be retracted when they are incompatible with the norms which are supposed to regulate agents's behaviour.".
- 40 hasAuthorList authorList.
- 40 isPartOf proceedings.
- 40 keyword "Defeasible Logic".
- 40 keyword "Intention Reconsideration".
- 40 keyword "Rules Agents and Norms".
- 40 title "Rule-based agents, compliance, and intention reconsideration in defeasible logic".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasLastItem item-1.
- item-1 type ListItem.
- item-1 hasContent antonino-rotolo.
- 41 creator harold-boley.
- 41 type InProceedings.
- 41 label "A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules".
- 41 sameAs 41.
- 41 abstract "In F-logic and RIF, objects (frames) are defined entirely separately from function and predicate applications. In POSL and RuleML, these fundamental notions are integrated by permitting applications with optional object identifiers and, orthogonally, arguments that are positional or slotted. The resulting positional-slotted, object-applicative (psoa) terms are given a novel formalization, reducing the number of RIF terms by generalizing its positional and slotted (named-argument) terms as well as its frame terms and class memberships. Like multi-slot frames do for slotted descriptions, multi-tuple psoa terms accommodate for (Web-)distributed positional descriptions of the same object identifier (IRI). The syntax and semantics of these integrated terms and rules over them are defined as PSOA RuleML in the style of RIF-BLD. The semantics provides a novel first-order model-theoretic foundation, blending frame triplification, as in F-logic and RIF, with integrated psoa terms, as in POSL and RuleML.".
- 41 hasAuthorList authorList.
- 41 isPartOf proceedings.
- 41 keyword "F-logic".
- 41 keyword "PSOA RuleML".
- 41 keyword "RIF".
- 41 keyword "Rule interchange and reasoning interoperation".