[1] |
BAADER F,CALVANESE D,MCGUINNESS D L,et al.The description logic handbook:theory,implementation and applications[M].Oxford,England:Cambridge University Press,2010.
|
[2] |
GYAWALI B,SHIMORINA A,GARDENT C,et al.Mapping natural language to description logic[J].Lecture Notes in Computer Science,2017,10249:273-288.
|
[3] |
CHAN L D,THANH N L,ROUSSET M C.A compact representation for least common subsumers in the description logic ALE[J].AI Communications,2017,19(3):239-273.
|
[4] |
BOTOEVA E,KONEV B,LUTZ C,et al.Inseparability and conservative extensions of description logic ontologies:a survey[M].Berlin,Germany:Springer,2017.
|
[5] |
BIENVENU M,BOURGAUX C,GOASDOUE F.Explaining inconsistency-tolerant query answering over description logic knowledge bases[C]//Proceedings of the 13th AAAI Conference on Artificial Intelligence.Phoenix,USA:AAAI Press,2016:900-906.
|
[6] |
LUTZ C,SABELLEK L.Ontology-mediated querying with the description logic εL:trichotomy and linear datalog rewritability[C]//Proceedings of the 26th International Joint Conference on Artificial Intelligence.Melbourne,Australia:[s.n.],2017:1-13.
|
[7] |
王驹,陈光喜,余泉.描述逻辑εL的二阶线性推理机制[J].软件学报,2017,28(2):216-233.
|
[8] |
STOILOS G,STAMOU G.Handling imprecise knowledge with fuzzy description logic[C]//Proceedings of 2006 International Workshop on Description Logics.Pittsburgh,USA:[s.n.],2006:1-8.
|
[9] |
STRACCIA U.Description logics with fuzzy concrete domains[EB/OL].[2018-02-27].https://arxiv.org/ftp/arxiv/papers/1207/1207.1410.pdf.
|
[10] |
STOILOS G,STAMOU G,TZOUVARAS V,et al.Reasoning with very expressive fuzzy description logics[J].Journal of Artificial Intelligence Research,2007,30(8):273-320.
|
[11] |
STOILOS G,STAMOU G,TZOUVARAS V,et al.Fuzzy OWL:uncertainty and the semantic web[C]//Proceedings of 2005 International Workshop on OWL:Experience and Directions.Galway,Ireland:[s.n.],2005:1-10.
|
[12] |
KARANIKOLA L,KARALI I.Towards a Dempster-Shafer fuzzy description logic-handling imprecision in the semantic web[J].IEEE Transactions on Fuzzy Systems,2018,26(5):3016-3026.
|
[13] |
GIORDANO L,GLIOZZI V,OLIVETTI N,et al.A non-monotonic description logic for reasoning about typicality[J].Artificial Intelligence,2013,195(1):165-202.
|
[14] |
GIL O F.On the non-monotonic description logic ALC+Tmin[EB/OL].[2018-02-27].https://arxiv.org/pdf/1404.6566.pdf.
|
[15] |
PENSEL M,TURHAN A Y.Including quantification in defeasible reasoning for the description logic εL⊥[C]//Proceedings of International Conference on Logic Programming and Non-monotonic Reasoning.Berlin,Germany:Springer,2017:78-84.
|
[16] |
EITER T,FINK M,STEPANOVA D.Data repair of inconsistent non-monotonic description logic programs[J].Artificial Intelligence,2016,239:7-53.
|
[17] |
BONATTI P A,SAURO L.On the logical properties of the nonmonotonic description logic DLN[J].Artificial Intelligence,2017,248:85-111.
|
[18] |
DUNG P M,MANCARELLA P.Production systems with negation as failure[J].IEEE Transactions on Knowledge and Data Engineering,2002,14(2):336-352.
|
[19] |
王星,马宗民.f-NSWRL:一种语义Web非单调模糊规则语言[J].小型微型计算机系统,2010,31(5):830-834.
|
[20] |
李海周.思考法典[M].3版.北京:中国法制出版社,2017.
|