Description Logic (dl)
Interval based Possibilistic Description Logic Programs for the Semantic Web
... by description logic programs, because crisp description logic programs cannot model uncertain and inconsistent ...possibilistic logic can represent and reason on uncertain, incomplete ...
8
Description logic based quantifier restriction and query of an OWL ontology
... The description logic languages are the heart of Knowledge Representation ...The DL (Description Logic) languages enable to formally describe the terminology with different expressive ...
7
Charting the Potential of Description Logic for the Generation of Referring Expressions
... of description logic (DL) have recently started to be ...these DL-based algorithms is still limited, not exceeding that of older GRE ...a DL-based ap- proach to GRE that exploits the ...
9
Use of Description Logic and SDRT in an NLG System
... The three fundamental notions of DLs are individ- uals (representing objects in the domain), concepts (describing sets of individuals), and roles (repre- senting binary relations between individuals). A ...
6
Games for query inseparability of description logic knowledge bases
... of description logic knowledge bases with respect to a given signature— a fundamental problem in knowledge base versioning, module extraction, forgetting and knowledge ...the description logics ...
50
Query inseparability for description logic knowledge bases
... Del Vescovo, C.; Parsia, B.; Sattler, U.; and Schneider, T. 2011. The modular structure of an ontology: Atomic decom- position. In Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011), 2232–2237. ...
22
When are description logic knowledge bases indistinguishable?
... of description logic knowl- edge bases (KBs) with respect to conjunctive queries is fundamental for many KB engineering and maintenance tasks including versioning, mod- ule extraction, knowledge exchange ...
8
Conservative rewritability of description logic TBoxes: First results
... 6. Botoeva, E., Kontchakov, R., Ryzhikov, V., Wolter, F., Zakharyaschev, M.: Query inseparability for description logic knowledge bases. In: Proceedings of KR (2014) 7. Calvanese, D., De Giacomo, G., Lembo, ...
12
Referring Expressions as Formulas of Description Logic
... of description logic (DL) that denotes exactly the set of individuals that we want to refer ...proposing DL as an interlingua for comparing the REs produced by different ap- proaches to ...
8
Schema.org as a Description Logic
... a Description Logic (DL) and study the complexity of querying data using (unions of) conjunctive queries in the presence of ontologies formulated in this DL (from several per- ...
21
Research on OWL Ontology Learning Method Based on Relational Schema
... Description Logic (DL)[13] is a formalization of knowledge representation, which can describe things and their relationships in a domain of ...interest. DL pays attention to form, its basic ...
6
Exact learning description logic ontologies from data retrieval examples
... learning description logic ontologies in Angluin et ...(i) DL-Lite TBoxes with role inclusions and ELI concept expressions on the right-hand side of inclusions and (ii) EL TBoxes without complex ...
13
PP 2018 12: A Parameterized Complexity View on Description Logic Reasoning
... Description logics have been designed as knowledge repre- sentation formalisms that have good computational properties (Baader et al. 2003). Correspondingly, there has been a lot of research into the computational ...
10
Representing ontology mappings with probabilistic description logics programs
... disjunctive description logic programs (or simply disjunctive dl-programs) KB = (L, P ) under the answer set se- mantics from [19], where KB consists of a description logic knowledge ...
9
MoL 2008 03: ABox Abduction in Description Logic
... the Description Logic ...of DL formulas, as well as with modal formulas containing boxed ...in DL (including the notions of a DL-admissible clause and an ALC-admissible abductive ...
86
Temporal description logic for ontology based data access
... In Theorem 8, we show rewritability using boundedness of recursion. This connection between first-order definabil- ity and boundedness is well known from the datalog and logic literature where boundedness has been ...
8
PP 2010 06: ABox Abduction in the Description Logic ALC
... in DL axioms, and will have to involve revisions at least in the definitions of an admissible abductive graph, admissible FOL-base, and the procedure of extracting ABox assertions from an abductive ...existing ...
37
Model Comparison Games for Horn Description Logics
... on description logic research and applications: while the weaker Horn DLs of the EL [7] and DL-Lite [8], [9] families gave rise to two Web Ontology Language OWL 2 profiles (trading expressiveness for ...
15
Conflicts Detection and Elimination of Concept Restriction in Ontology Merging
... the DL-restriction, i.e. the concept in the syntax of Description Logic showed in the Table 1 were expressed with an atomic concept but not a complicated concept combination ...
14
DL Histidine DL tartrate
... A 5 ml saturated aqueous solution of dl-histidine was mixed with a 5 ml saturated aqueous solution of dl-tartaric acid and the vial was covered with a pierced ®lm. This was placed in a larger glass vial ...
6