Matches in ScholarlyData for { ?s ?p ?o. }
- item-1 type ListItem.
- item-1 hasContent sebastian-hellmann.
- 5 creator zsolt-zombori.
- 5 type InProceedings.
- 5 label "Two Phase Description Logic Reasoning for Efficient Information Retrieval".
- 5 sameAs 5.
- 5 abstract "With the proliferation of knowledge intensive applications, there is a vivid research in the domain of knowledge representation. Description Logics are designed to be a convenient means for such representation task. One of their main advantages over other formalisms is a clearly defined semantics which opens the possibility to provide reasoning services with mathematical rigorousness. My PhD work is concerned with Description Logic reasoning. I am particularly interested in ABox reasoning when the available data is really large. This domain is much less explored than TBox reasoning. Nevertheless, reasoning over large ABoxes is useful for problems like web-based reasoning. I am one of the developers of the DLog data reasoner which implements a two phase reasoning: the first phase uses complex reasoning to turn the TBox into a set of simple rules, while the second phase is geared towards very fast query answering over large ABoxes. DLog currently supports the SHIQ DL language. We are trying to extend the reasoner to more expressive languages, hopefully until SROIQ, the logic behind OWL 2.".
- 5 hasAuthorList authorList.
- 5 isPartOf proceedings.
- 5 keyword "Description Logic".
- 5 keyword "knowledge representation".
- 5 keyword "reasoning".
- 5 keyword "resolution".
- 5 title "Two Phase Description Logic Reasoning for Efficient Information Retrieval".
- authorList type List.
- authorList hasFirstItem item-1.
- authorList hasItem item-1.
- authorList hasLastItem item-1.
- item-1 type ListItem.
- item-1 hasContent zsolt-zombori.
- 6 creator patrick-lambrix.
- 6 creator qiang-liu.
- 6 type InProceedings.
- 6 label "Debugging the missing is-a structure of networked ontologies".
- 6 sameAs 6.
- 6 abstract "In parallel with the proliferation of ontologies and their use in semantically-enabled applications, the issue of finding and dealing with defects in ontologies has become increasingly important. Current work mostly targets detecting and repairing semantic defects in ontologies. In our work, we focus on another kind of severe defects, modeling defects, which require domain knowledge to detect and resolve. In particular, we are interested in detecting and repairing the missing structural relations (is-a hierarchy) in the ontologies. Our goal is to develop a system, which allows a domain expert to detect and repair the structure of ontologies in a semi-automatic way.".
- 6 hasAuthorList authorList.
- 6 isPartOf proceedings.
- 6 keyword "modeling defect".
- 6 keyword "ontology repair".
- 6 keyword "ontology".
- 6 title "Debugging the missing is-a structure of networked ontologies".
- 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 qiang-liu.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent patrick-lambrix.
- item-2 previous item-1.
- 1 creator kostis-kyzirakos.
- 1 creator manolis-koubarakis.
- 1 type InProceedings.
- 1 label "Modeling and Querying Metadata in the Semantic Sensor Web: the model stRDF and the query language stSPARQL".
- 1 sameAs 1.
- 1 abstract "RDF is the metadata model of choice in the Semantic Sensor Web. However, RDF can only represent thematic metadata and needs to be extended if we want to model spatial and temporal information. For this purpose, we develop the data model stRDF and the query language stSPARQL. stRDF is a constraint data model that extends RDF with the ability to represent spatial and temporal data. stSPARQL extends SPARQL so that spatial and temporal data can be queried using a declarative and user-friendly language. We follow the main ideas of spatial and temporal constraint databases and represent spatial objects as quantifier-free formulas in a first-order logic of linear constraints. The main contribution of stRDF is to bring to the RDF world the benefits of constraint databases and constraint-based reasoning so that spatial and temporal data can be represented in RDF using constraints. In this paper, we present the syntax and semantics of stRDF and stSPARQL and discuss some details of our in-progress implementation.".
- 1 hasAuthorList authorList.
- 1 isPartOf proceedings.
- 1 keyword "data".
- 1 keyword "language".
- 1 keyword "model".
- 1 keyword "query".
- 1 title "Modeling and Querying Metadata in the Semantic Sensor Web: the model stRDF and the query language stSPARQL".
- 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 manolis-koubarakis.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent kostis-kyzirakos.
- item-2 previous item-1.
- 11 creator martin-junghans.
- 11 creator rudi-studer.
- 11 creator sudhir-agarwal.
- 11 type InProceedings.
- 11 label "Towards Practical Semantic Web Service Discovery".
- 11 sameAs 11.
- 11 abstract "Service orientation is a promising paradigm for offering and consuming functionalities within and across organizations. Ever increasing acceptance of service oriented architectures in combination with the acceptance of the Web as a platform for carrying out electronic business triggers a need for automated methods to find appropriate Web services. Various formalisms for discovery of semantically described services with varying expressivity and complexity have been proposed in the past. However, they are difficult to use since they apply the same formalisms to service descriptions and request. Furthermore, an intersection-based matchmaking is insufficient to check for the applicability of Web services for a given request. In this paper we show that, although most of prior approaches provide a formal semantics, their pragmatics to describe requests is improper since it differs from the user intention. We introduce distinct formalisms to describe functionalities and service requests. We also provide the formal underpinning and implementation of a matching algorithm.".
- 11 hasAuthorList authorList.
- 11 isPartOf proceedings.
- 11 keyword "discovery".
- 11 keyword "semantics".
- 11 keyword "services".
- 11 title "Towards Practical Semantic Web Service Discovery".
- 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 martin-junghans.
- item-1 next item-2.
- item-2 type ListItem.
- item-2 hasContent sudhir-agarwal.
- item-2 next item-3.
- item-2 previous item-1.
- item-3 type ListItem.
- item-3 hasContent rudi-studer.
- item-3 previous item-2.
- 15 creator rudi-studer.
- 15 creator sebastian-speiser.
- 15 type InProceedings.
- 15 label "Usage Policies for Document Compositions".