Global ETD Search

191	Concept Descriptions with Set Constraints and Cardinality Constraints Baader, Franz 20 June 2022 (has links) We introduce a new description logic that extends the well-known logic ALCQ by allowing the statement of constraints on role successors that are more general than the qualified number restrictions of ALCQ. To formulate these constraints, we use the quantifier-free fragment of Boolean Algebra with Presburger Arithmetic (QFBAPA), in which one can express Boolean combinations of set constraints and numerical constraints on the cardinalities of sets. Though our new logic is considerably more expressive than ALCQ, we are able to show that the complexity of reasoning in it is the same as in ALCQ, both without and with TBoxes. / The first version of this report was put online on April 6, 2017. The current version, containing more information on related work, was put online on July 13, 2017. This is an extended version of a paper published in the proceedings of FroCoS 2017. info:eu-repo/classification/ddc/004 ddc:004
192	Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles Baader, Franz, Borgwardt, Stefan, Lippmann, Marcel 20 June 2022 (has links) In Ontology-Based Data Access (OBDA), user queries are evaluated over a set of facts under the open world assumption, while taking into account background knowledge given in the form of a Description Logic (DL) ontology. Motivated by situation awareness applications, temporal conjunctive queries (TCQs) have recently been proposed as a useful extension of traditional OBDA to support the processing of temporal information. This paper extends the existing complexity analysis of TCQ entailment to very expressive DLs underlying the OWL 2 standard, and in contrast to previous work also allows for queries containing transitive roles. / This is an extended version of the paper “Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles”, published in the Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI’15). info:eu-repo/classification/ddc/004 ddc:004
193	An Active Domain Node Architecture for the Semantic Web / Eine Knotenarchitektur mit aktivem Verhalten für das Semantic Web Schenk, Franz 21 November 2008 (has links) No description available. 004 Informatik Mathematics and Computer Science Wissensmanagement OWL Semantic Web Beschreibungslogik Hybrides automatisches Beweisen Semantic Web Event-Driven Architecture OWL Active Knowledge Base Intensional Updates Hybrid Reasoning Description Logic F-Logic 54.64 54.71 54.72

Page generated in 0.0405 seconds